syntax_data: {"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"(\"riscv32imc-unknown-nuttx-elf\","}]}
source_snippet:     ("riscv32imc-unknown-nuttx-elf", riscv32imc_unknown_nuttx_elf),
context_before:     ("thumbv8m.main-nuttx-eabihf", thumbv8m_main_nuttx_eabihf),
context_after:     ("riscv32imac-unknown-nuttx-elf", riscv32imac_unknown_nuttx_elf),