redrafted AllocatorTransformer and AllocatorVirtualizer