(* Example 1.1: *)
(* Carsten Schuermann *) 

let 
    val x = 5
    val y = x * 17
in
  x * y
end