Symbol: STORE_SEQ_IN_MSGID