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

begin
  assert(f(2, 3) = 5)
end.