Symbol: AllocateExactly