{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"\"vl.vadduw.vvvvl\""}]}
                    "vl.vadduw.vvvvl" => "__builtin_ve_vl_vadduw_vvvvl",
                    "vl.vadduw.vvvmvl" => "__builtin_ve_vl_vadduw_vvvmvl",
                    "vl.vand.vsvl" => "__builtin_ve_vl_vand_vsvl",