let var x := 0 var y := x in when x = y do (when x <> y do x := 3); x + 3 end