Symbol: STATE_WIDTH