new/delete allocator for leakage detection