Remove assumptions from alloc