Symbol: TOTAL_STATES