Added an instrumented allocator for simple verification of internal memory behavior