Symbol: STATE_ID