An example of a repeat-until loop written in C++