{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"\"mm256i.vaddw\""}]}
                    "mm256i.vaddw" => "__builtin__mm256i_vaddw",
                    "circ.stw" => "__builtin_circ_stw",
                    "prefetch" => "__builtin_HEXAGON_prefetch",