public static int GetInt (this Stream stream) { byte [] b = new byte [4]; if (stream.Read (b, 0, 4) != 4) throw new IOException ("End reached"); return converter.GetInt32 (b, 0); }