{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"//"}]}
            // to get back the original argument to get the pointer we need to write the result to.
            // We removed the argument since __builtin_ia32_stmxcsr takes no arguments, so we need
            let uint_ptr_type = builder.uint_type.make_pointer();