(let ((x 7)
      (y 3))
  (%+ x y))