Symbol: SEQ_STATE_RELEASED