An exit-condition loop

Other programming languages also have an exit-condition loop, known as a do-while loop. 

The major significance of the exit-condition loop is:

This is because the test is performed after the body of the loop has already executed once. 

Alice does not have an exit-condition loop.