Annotaions used by the test harness.