public override void encode(Asn1Encoder enc, System.IO.Stream out_Renamed) { enc.encode(this, out_Renamed); return ; }