let var x:int := 0 var y:int := x var z:int := y in z end