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

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