public char ReadChar() { int ch1 = @in.ReadByte(); int ch2 = @in.ReadByte(); if ((ch1 | ch2) < 0) throw new EndOfStreamException(); return (char)((ch1 << 8) + (ch2 << 0)); }