void operator delete(void* arg0);