private void encodeTagInteger(int value_Renamed, System.IO.Stream out_Renamed)
{
sbyte[] octets = new sbyte[5];
int n;
for (n = 0; value_Renamed != 0; n++)
{
octets[n] = (sbyte) (value_Renamed & 0x7F);
value_Renamed = value_Renamed >> 7;
}
for (int i = n - 1; i > 0; i--)
{
out_Renamed.WriteByte((System.Byte) (octets[i] | 0x80));
}
out_Renamed.WriteByte((byte) octets[0]);
return ;
}