#lang smol/fun
(let ([x 3])
  (+ (let ([y 4])
       y)
     x))