let in let var x := 10 in while x <> 0 do (x := x - 1 ; x) end ; 1 end