x,y,z:=5,6,0; do y>0 cand y mod 2 = 0 -> y,x:=y/2,x+x | y mod 2 = 1 -> y,z:=y-1,z+x od