Edit: bitmap_allocator.h