addrSpace.cc,

Destructor written