{def do_while
 {def do_while.r
  {lambda {:i}
   {if {= {% :i 6} 0}
    then :i (end of loop)
    else :i {do_while.r {+ :i 1}}}}}
 {lambda {:i}
  :i {do_while.r {+ :i 1}}}}
-> do_while

{do_while 0}
-> 0 1 2 3 4 5 6 (end of loop)