Symbol: INITIAL_STATE