{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"\"__builtin_ia32_rdrand64_step\""}]}
            "__builtin_ia32_rdrand64_step" => {
            // The GCC version returns one value of the tuple through a pointer.
                let arg = builder.current_func().new_local(