1 2 3 4 5 6 7 8
proc f(x: Int): Int return +x begin assert(+3 = 3); assert(f(5) = 5); assert(f(-7) = -7) end.