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