{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"arena.alloc(DropCounter"}]}
            arena.alloc(DropCounter { count: &counter });
            // Allocate something with drop glue to make sure it doesn't leak.
        }