deallocate (a)