public byte ReadByte() { int ch = @in.ReadByte(); if (ch < 0) throw new EndOfStreamException(); return (byte)(ch); }