5 check_expected ([<<'EOF']);
6 (priority-donate-sema) begin
7 (priority-donate-sema) Thread L acquired lock.
8 (priority-donate-sema) Thread L downed semaphore.
9 (priority-donate-sema) Thread H acquired lock.
10 (priority-donate-sema) Thread H finished.
11 (priority-donate-sema) Thread M finished.
12 (priority-donate-sema) Thread L finished.
13 (priority-donate-sema) Main thread finished.
14 (priority-donate-sema) end