Symbol: DE_SIZE