destroy

Destroys the memory allocated

  void destroy(pointer p);