{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":");"}]}
            );
                self.dump_alloc(ptr.provenance.unwrap().get_alloc_id().unwrap())
            self.deallocate_ptr(ptr, None, MemoryKind::Stack)?;