{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"\"__builtin_ia32_vfmaddcsh_mask3_round\""}]}
        "__builtin_ia32_vfmaddcsh_mask3_round" => {
        }
            if format!("{:?}", args[3]).ends_with("255") {