import LetExp; x + 4 let x = 1 in x + 5 + 2 let y = x + 23 + 1 in y + x + x