test(
seq(assgn(x,99),
    seq(assgn(r,1),
        while(app('=<', 1, x),
              seq(assgn(r, app('*', x, r)),
                  assgn(x, app('-', x, 1))))))
).