.getValue()] =
new GrammarTransition<EncKrbPrivPartContainer>(
EncKrbPrivPartStatesEnum.ENC_KRB_PRIV_PART_USEC_TAG_STATE,
EncKrbPrivPartStatesEnum.ENC_KRB_PRIV_PART_USEC_STATE,
UniversalTag.INTEGER,
new StoreUsec() );
// --------------------------------------------------------------------------------------------
// Transition from usec value to seq-number tag
// --------------------------------------------------------------------------------------------
// EncKrbPrivPart ::= SEQUENCE {