public int ReserveSpace (string filename) { return pragmaExternalSourceCount + filename.Length + (Environment.NewLine.Length); }