{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"\"circ.sth\""}]}
                    "circ.sth" => "__builtin_circ_sth",
                    "circ.std" => "__builtin_circ_std",
                    "circ.sthhi" => "__builtin_circ_sthhi",