(let* ((x 3)          
      (y (+ x 1)))
    (+ x y))