Symbol: FINAL_STATE_CHANGE