let var x := 0 in when x = 0 do x := 1; x end