{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"\"efpc\""}]}
                    "efpc" => "__builtin_s390_efpc",
                    "bextg" => "__builtin_s390_bextg",
                    "etnd" => "__builtin_tx_nesting_depth",