// Deallocate.h

extern void Deallocate(int* &intPtr);
  // PRE: value of intPtr was returned
  // a call to new, and hasn't yet been
  // given to delete
  // MODIFIES: free store, intPtr
  // *intPtr is deallocated && intPtr == 0