syntax_data: {"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"(\"thumbv4t-none-eabi\","}]}
source_snippet:     ("thumbv4t-none-eabi", thumbv4t_none_eabi),
context_before:     ("mipsel-mti-none-elf", mipsel_mti_none_elf),
context_after:     ("armv4t-none-eabi", armv4t_none_eabi),