use tests::tests;
check_expected ([<<'EOF']);
(priority-donate-nest) begin
-(priority-donate-nest) Low thread should have priority 30. Actual priority: 30.
-(priority-donate-nest) Low thread should have priority 29. Actual priority: 29.
-(priority-donate-nest) Medium thread should have priority 29. Actual priority: 29.
+(priority-donate-nest) Low thread should have priority 32. Actual priority: 32.
+(priority-donate-nest) Low thread should have priority 33. Actual priority: 33.
+(priority-donate-nest) Medium thread should have priority 33. Actual priority: 33.
(priority-donate-nest) Medium thread got the lock.
(priority-donate-nest) High thread got the lock.
(priority-donate-nest) High thread finished.