syntax_data: {"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"(\"riscv64-wrs-vxworks\","}]}
source_snippet:     ("riscv64-wrs-vxworks", riscv64_wrs_vxworks),
context_before:     ("riscv32-wrs-vxworks", riscv32_wrs_vxworks),