Symbol: SATI_SEQUENCE_STATE_INITIAL