text: public IndexRecord(RecordInputStream in1){field_1_zero = in1.ReadInt();if (field_1_zero != 0){throw new RecordFormatException("Expected zero for field 1 but got " + field_1_zero);}field_2_first_row = in1.ReadInt();field_3_last_row_add1 = in1.ReadInt();field_4_zero = in1.ReadInt();int nCells = in1.Remaining / 4;field_5_dbcells =new IntList(nCells);   for (int i = 0; i < nCells; i++){field_5_dbcells.Add(in1.ReadInt());}}