public EncKrbCredPart(
     Asn1SequenceOf<KrbCredInfo> param0,
     KerbUInt32 param1,
     KerberosTime param2,
     Microseconds param3,
     HostAddress param4,
     HostAddress param5)
 {
     this.ticket_info = param0;
     this.nonce = param1;
     this.timestamp = param2;
     this.usec = param3;
     this.s_address = param4;
     this.r_address = param5;
 }
 public KRB_SAFE_BODY(
     Asn1OctetString user_data,
     KerberosTime timestamp,
     Microseconds usec,
     KerbUInt32 seq_number,
     HostAddress s_address,
     HostAddress r_address)
 {
     this.user_data = user_data;
     this.timestamp = timestamp;
     this.usec = usec;
     this.seq_number = seq_number;
     this.s_address = s_address;
     this.r_address = r_address;
 }
 public EncKrbPrivPart(
     Asn1OctetString param0,
     KerberosTime param1,
     Microseconds param2,
     KerbUInt32 param3,
     HostAddress param4,
     HostAddress param5)
 {
     this.user_data = param0;
     this.timestamp = param1;
     this.usec = param2;
     this.seq_number = param3;
     this.s_address = param4;
     this.r_address = param5;
 }