let
  var k := 0
  in
  while k < 5 do
    (
      k := k + 1;
      ()
    )
end