static VIRTUAL_SPACE_ALLOCATOR: Mutex<VirtualSpaceAllocator>