{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"\"vpklsh\""}]}
                    "vpklsh" => "__builtin_s390_vpklsh",
                    "vpklsg" => "__builtin_s390_vpklsg",
                    "vpksf" => "__builtin_s390_vpksf",