One set of tests is to ensure the current message is correct.
The other set is to check the messages are generated correctly for every
type of loop.