//[example_output
> example81
Running 1 test case...
test.cpp(20): error: in "test_case1": check 1 != 1 has failed
Failure occurred in a following context:
    Alpha
test.cpp(14): error: in "test_case1": check 2 != 2 has failed
Failure occurred in a following context:
    Alpha
test.cpp(24): error: in "test_case1": check 3 != 3 has failed
Failure occurred in a following context:
    Alpha
    Beta
test.cpp(29): error: in "test_case1": check 5 != 5 has failed

*** 4 failures detected in test module "example81"
//]