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