void operator delete(void* ptr) throw();
void operator delete(void* ptr, const std::nothrow_t&) throw();


void operator delete[](void* ptr) throw();
void operator delete[](void* ptr, const std::nothrow_t&) throw();
