A compressing memory allocator