proc f(x: Int): Int
return +x

begin
  assert(+3 = 3);
  assert(f(5) = 5);
  assert(f(-7) = -7)
end.