{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"//"}]}
            // _cor_ptr = _proxy.0.0 (... .0)
            cor_ptr_local = locals.push(LocalDecl::new(ty_ptr, span));
            statements.push(Statement::new(