{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"\"__builtin_ia32_maxps512_mask\""}]}
        "__builtin_ia32_maxps512_mask"
        // last argument type check.
        | "__builtin_ia32_maxpd512_mask"