5 check_expected ([<<'EOF']);
7 (priority-sema) Thread priority 32 woke up.
8 (priority-sema) Back in main thread.
9 (priority-sema) Thread priority 33 woke up.
10 (priority-sema) Back in main thread.
11 (priority-sema) Thread priority 34 woke up.
12 (priority-sema) Back in main thread.
13 (priority-sema) Thread priority 35 woke up.
14 (priority-sema) Back in main thread.
15 (priority-sema) Thread priority 36 woke up.
16 (priority-sema) Back in main thread.
17 (priority-sema) Thread priority 37 woke up.
18 (priority-sema) Back in main thread.
19 (priority-sema) Thread priority 38 woke up.
20 (priority-sema) Back in main thread.
21 (priority-sema) Thread priority 39 woke up.
22 (priority-sema) Back in main thread.
23 (priority-sema) Thread priority 40 woke up.
24 (priority-sema) Back in main thread.
25 (priority-sema) Thread priority 41 woke up.
26 (priority-sema) Back in main thread.