deallocated_value
