1 2 3 4 5 6 7 8 9 10 11
proc f(x: Int) -> Int return +x program() begin assert(+3 = 3); assert(f(5) = 5); assert(f(-7) = -7) return 0u8 end.