private static int ReadCount(FileStream fs) { BinaryReader reader = new BinaryReader(fs, Encoding.UTF8); if(!ReadReserved(reader)) { throw new InvalidOperationException("Invalid index file header"); } return reader.ReadInt32(); }