{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"\"avx.maskload.ps.256\""}]}
                    "avx.maskload.ps.256" => "__builtin_ia32_maskloadps256",
                    "avx.maskload.ps" => "__builtin_ia32_maskloadps",
                    "avx.maskstore.pd" => "__builtin_ia32_maskstorepd",