Symbol: DEVALLOC