#include <new>extern "C" void free (void *);voidoperator delete (void *ptr, const std::nothrow_t&) throw (){if (ptr)free (ptr);}voidoperator delete (void *ptr) throw (){if (ptr)free (ptr);}voidoperator delete[] (void *ptr) throw (){::operator delete (ptr);}voidoperator delete[] (void *ptr, const std::nothrow_t&) throw (){::operator delete (ptr);}