assert back to a do-while loop