.getValue()] =
new GrammarTransition<EncKrbPrivPartContainer>(
EncKrbPrivPartStatesEnum.ENC_KRB_PRIV_PART_SEQ_NUMBER_TAG_STATE,
EncKrbPrivPartStatesEnum.ENC_KRB_PRIV_PART_SEQ_NUMBER_STATE,
UniversalTag.INTEGER,
new StoreSeqNumber() );
// --------------------------------------------------------------------------------------------
// Transition from seq-number to s-address tag
// --------------------------------------------------------------------------------------------
// EncKrbPrivPart ::= SEQUENCE {