What must be done to translate a posttest loop expressed in the form


repeat:


(. . . )


until (. . . )


into an equivalent posttest loop expressed in the form


do:


(. . . )


while (. . . )