History tests/run-arith-for