i: 1024 while [i>0] [ print i i: i/2 ]