5 check_expected ([<<'EOF']);
7 (alarm-priority) Thread priority 30 woke up.
8 (alarm-priority) Thread priority 29 woke up.
9 (alarm-priority) Thread priority 28 woke up.
10 (alarm-priority) Thread priority 27 woke up.
11 (alarm-priority) Thread priority 26 woke up.
12 (alarm-priority) Thread priority 25 woke up.
13 (alarm-priority) Thread priority 24 woke up.
14 (alarm-priority) Thread priority 23 woke up.
15 (alarm-priority) Thread priority 22 woke up.
16 (alarm-priority) Thread priority 21 woke up.