{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
            // The GCC version returns one value of the tuple through a pointer.
            }
            "__builtin_ia32_rdrand64_step" => {