{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"\"vcksm\""}]}
                    "vcksm" => "__builtin_s390_vcksm",
                    "vcfn" => "__builtin_s390_vcfn",
                    "vclfnhs" => "__builtin_s390_vclfnhs",