{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"\"vcfn\""}]}
                    "vcfn" => "__builtin_s390_vcfn",
                    "vbperm" => "__builtin_s390_vbperm",
                    "vcksm" => "__builtin_s390_vcksm",