private static int GetInt(GZipStream gz) { var b = new byte[4]; gz.Read(b, 0, 4); int i = BitConverter.ToInt32(b, 0); return i; }