{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"\"brev.std\""}]}
                    "brev.std" => "__builtin_brev_std",
                    "brev.stb" => "__builtin_brev_stb",
                    "brev.sth" => "__builtin_brev_sth",