{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"\"bextg\""}]}
                    "bextg" => "__builtin_s390_bextg",
                    "bdepg" => "__builtin_s390_bdepg",
                    "efpc" => "__builtin_s390_efpc",