{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"|"}]}
            | "__builtin_ia32_rsqrtsh_mask" => {
            | "__builtin_ia32_rcpsh_mask"
                // The first two arguments are inverted, so swap them.