{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"\"__builtin_ia32_vplzcntd_512_mask\""}]}
        "__builtin_ia32_vplzcntd_512_mask"
        "__builtin_ia32_vfmaddss3_round" | "__builtin_ia32_vfmaddsd3_round" => return true,
        | "__builtin_ia32_vplzcntd_256_mask"