Header: IORangeAllocator.h