n := 1024;
while n > 0 loop
    print( n );
    n := n div 2;
end loop;