Definition of "deallocates"