[Allocator] Tested, works in all cases.