The body of the test, then, contains many @code{ASSERT} invocations. When
a test fails, the @code{ASSERT} macro prints the line number of the failing
The body of the test, then, contains many @code{ASSERT} invocations. When
a test fails, the @code{ASSERT} macro prints the line number of the failing