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