deallocation function is written