void operator delete(void *ptr, pmemory_pool *pool) { if (ptr != NULL) pfree_raw(ptr); }
void operator delete(void *ptr, pmemory_pool *pool) { //printf("here delete\n"); if (ptr != NULL) pfree_raw(ptr); }