{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"\"vl.vsrawzx.vvvvl\""}]}
                    "vl.vsrawzx.vvvvl" => "__builtin_ve_vl_vsrawzx_vvvvl",
                    "vl.vsrawzx.vvvmvl" => "__builtin_ve_vl_vsrawzx_vvvmvl",
                    "vl.vsrl.vvsl" => "__builtin_ve_vl_vsrl_vvsl",