let var x := 2 var z := let var y := 10 var x := "abc" var x := 1000 in x := 0; y*y end in x + z end