pub static ALLOCATOR: LockedHoleAllocator