# This program tests rt/arith.s. procedure main() write(1 + 2) write(1 + "2") write(3 * 2e10) write(5e8 - 4e8) i := 0 if i = 0 then write("conditional checks") write(1 / 1) write(-7 % 3) write(10 ^ 3) end