{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//"}]}
            // We removed the argument since __builtin_ia32_stmxcsr takes no arguments, so we need
            // the result in its pointer argument.
            // to get back the original argument to get the pointer we need to write the result to.