Update mem_dealloc.s