{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"//"}]}
                // The first two arguments are inverted, so swap them.
            | "__builtin_ia32_rsqrtsh_mask" => {
                let mut new_args = args.to_vec();