;;; Omitting all but Task 1

Task 1.
=======

proc (n)
  letrec loop (i) = if zero?(-(n,i))
                      then n
                      else if zero?(-(n,-(0,i)))
                             then -(0,n)
                             else (loop -(i,-(0,1)))
  in (loop 0)