5 check_expected ([<<'EOF']);
7 (alarm-priority) Thread priority 32 woke up.
8 (alarm-priority) Thread priority 33 woke up.
9 (alarm-priority) Thread priority 34 woke up.
10 (alarm-priority) Thread priority 35 woke up.
11 (alarm-priority) Thread priority 36 woke up.
12 (alarm-priority) Thread priority 37 woke up.
13 (alarm-priority) Thread priority 38 woke up.
14 (alarm-priority) Thread priority 39 woke up.
15 (alarm-priority) Thread priority 40 woke up.
16 (alarm-priority) Thread priority 41 woke up.