5 check_expected ([<<'EOF']);
6 (priority-preempt) begin
7 (priority-preempt) Thread high-priority iteration 0
8 (priority-preempt) Thread high-priority iteration 1
9 (priority-preempt) Thread high-priority iteration 2
10 (priority-preempt) Thread high-priority iteration 3
11 (priority-preempt) Thread high-priority iteration 4
12 (priority-preempt) Thread high-priority done!
13 (priority-preempt) The high-priority thread should have already completed.
14 (priority-preempt) end