UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture12/ let1.rkt 
#lang smol/fun
(let ([x 3])
  (+ (let ([x 4])
       x)
     x))