(* Example 1.2: *)
(* Carsten Schuermann *) 

let
   val x = 5 
in
   let 
       val x = x + 3
   in 
      x
   end * x
end