let x = let y = 1 in 2 * y