// operator delete(void *) REPLACEABLE function #include <stdlib.h> #include <new> void operator delete(void *p) { // free an allocated object free(p); } // End of File