This is a classic stub-and-spy test. It uses the normal Four-Phase
Test structure.
The extra newlines separate the setup, exercise, and verification phases. The
test is flat; it does not use a context block.