Edit File: bitmap_allocator.h