public IndexRecord(RecordInputStream in) {int field_1_zero          = in.readInt();if (field_1_zero != 0) {throw new RecordFormatException("Expected zero for field 1 but got " + field_1_zero);}field_2_first_row     = in.readInt();field_3_last_row_add1 = in.readInt();field_4_zero      = in.readInt();int nCells = in.remaining() / 4;field_5_dbcells = new IntList(nCells);for(int i=0; i<nCells; i++) {field_5_dbcells.add(in.readInt());}}

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());}}
