public int Decode(BitStream32 Buffer, BitStreamCtx ctx) { int numbits = unary.Decode (Buffer, ctx); if (numbits == 0) { return 1; } else { int number = (int) Buffer.Read (numbits, ctx); return (1 << numbits) | number; } }