{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"\"brev.stw\""}]}
                    "brev.stw" => "__builtin_brev_stw",
                    "brev.sthhi" => "__builtin_brev_sthhi",
                    "circ.ldb" => "__builtin_circ_ldb",