public ArrayRecord(RecordInputStream in) {
   super(in);
   _options = in.readUShort();
   _field3notUsed = in.readInt();
   int formulaTokenLen = in.readUShort();
   int totalFormulaLen = in.available();
   _formula = Formula.read(formulaTokenLen, in, totalFormulaLen);
 }