5 check_expected ([<<'EOF']);
6 (priority-donate-nest) begin
7 (priority-donate-nest) Low thread should have priority 30. Actual priority: 30.
8 (priority-donate-nest) Low thread should have priority 29. Actual priority: 29.
9 (priority-donate-nest) Medium thread should have priority 29. Actual priority: 29.
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