syntax_data: {"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"(\"thumbv8m.base-none-eabi\","}]}
source_snippet:     ("thumbv8m.base-none-eabi", thumbv8m_base_none_eabi),
context_before:     ("thumbv7em-none-eabihf", thumbv7em_none_eabihf),
context_after:     ("thumbv8m.main-none-eabi", thumbv8m_main_none_eabi),