{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}}}}}
:i {do_while.r {+ :i 1}}}}
-> do_while
{do_while 0}
-> 0 1 2 3 4 5 6 (end of loop)