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