static IndexEntry deserialize(DataInput in) throws IOException {
      return new IndexEntry(DataInputOutputUtil.readINT(in),
                            DataInputOutputUtil.readINT(in),
                            DataInputOutputUtil.readINT(in),
                            DataInputOutputUtil.readINT(in),
                            FunExprOccurrence.deserialize(in));
    }
static IndexEntry deserialize(DataInput in)