} else if (one.arity() == 4){
ESmall eidx = one.elm(1).testSmall();
incr = one.elm(2).testInteger();
EInteger threshold = one.elm(3).testInteger();
EInteger setvalue = one.elm(4).testInteger();
if (eidx == null || eidx.value > rec.arity() || incr == null
|| threshold == null || setvalue == null) return null;
int idx = eidx.value;
rec = update(rec, idx, incr, threshold, setvalue);