See [do..until in Tcl]