F addN(n)
   F adder(x)
      R x + @=n
   R adder

V add2 = addN(2)
V add3 = addN(3)
print(add2(7))
print(add3(7))