{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"\"vgf2p8mulb.512\""}]}
                    "vgf2p8mulb.512" => "__builtin_ia32_vgf2p8mulb_v64qi",
                    "vgf2p8mulb.256" => "__builtin_ia32_vgf2p8mulb_v32qi",
                    "vsha512msg1" => "__builtin_ia32_vsha512msg1",