y := 0;

var x := 5 in

  while x < 10 and true do 
    x := (x + 1);
  end;

  y := x;
  
end;

z := 5;