5 check_expected ([<<'EOF']);
6 (priority-change) begin
7 (priority-change) Creating a high-priority thread 2.
8 (priority-change) Thread 2 now lowering priority.
9 (priority-change) Thread 2 should have just lowered its priority.
10 (priority-change) Thread 2 exiting.
11 (priority-change) Thread 2 should have just exited.