i=1024
while i>0
    printf("%4d\n",i)
    i=int(i/2)
end