syntax_data: {"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"(\"armv4t-none-eabi\","}]}
source_snippet:     ("armv4t-none-eabi", armv4t_none_eabi),
context_before:     ("thumbv4t-none-eabi", thumbv4t_none_eabi),
context_after:     ("thumbv5te-none-eabi", thumbv5te_none_eabi),