:load test/arith-prim/arith-prim.disco
ps
