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