{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"if"}]}
        if old.is_some() {
        let old = self.memory.dead_alloc_map.insert(alloc_id, (size, alloc.align));
            bug!("Nothing can be deallocated twice");