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