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