(LETREC ADD1
  (ADD1 LAMBDA (X)
    (ADD (QUOTE 1) X)))&