static void operator delete(void*,myallocator);