#include "share/atspre_staload.hats"

fn
loop_while () : void =
  let
    var n : uint = 1024U
  in
    while (0U < n)
      begin
        println! (n);
        n := n / 2U
      end
  end

implement
main0 () =
  loop_while ()