x := 1;

while y <> 0 do
  x := x * 2;
  y := y - 1
od