Removed derefs_mem()