{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"\"__builtin_ia32_rdrand64_step\""}]}
        "__builtin_ia32_rdrand64_step" => {
        }
            let random_number = args[0].dereference(None).to_rvalue();