internal int read_byte () { byte [] buff = new byte [1]; if (stream.Read (buff, 0, 1) > 0) return buff [0]; return -1; }