5 check_expected ([<<'EOF']);
6 (priority-donate-nest) begin
7 (priority-donate-nest) Low thread should have priority 32. Actual priority: 32.
8 (priority-donate-nest) Low thread should have priority 33. Actual priority: 33.
9 (priority-donate-nest) Medium thread should have priority 33. Actual priority: 33.
10 (priority-donate-nest) Medium thread got the lock.
11 (priority-donate-nest) High thread got the lock.
12 (priority-donate-nest) High thread finished.
13 (priority-donate-nest) High thread should have just finished.
14 (priority-donate-nest) Middle thread finished.
15 (priority-donate-nest) Medium thread should just have finished.
16 (priority-donate-nest) Low thread should have priority 31. Actual priority: 31.
17 (priority-donate-nest) end