Symbol: doallocate