How to check if memory to which pointer p points has been succesfully deallocated?
Use IBM rational purify tool to check correct deallocation of memory.