private void ReadSectionHeaders() { if (Diag.DiagOn) Console.WriteLine("Sections"); inputSections = new Section[numSections]; for (int i=0; i < numSections; i++) { inputSections[i] = new Section(this); } }