updated internal memory allocator header