{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"\"vmob\""}]}
                    "vmob" => "__builtin_s390_vmob",
                    "vmloh" => "__builtin_s390_vmloh",
                    "vmof" => "__builtin_s390_vmof",