let arithmetic(a, b) := (a + b, a - b, a * b, a / b, a % b, a ** b)
assert(arithmetic(5, 2) = (7, 3, 10, 2, 1, 25))