Doug Lea's memory allocator