5 check_expected ([<<'EOF']);
7 (mlfqs-block) Main thread acquiring lock.
8 (mlfqs-block) Main thread creating block thread, sleeping 25 seconds...
9 (mlfqs-block) Block thread spinning for 20 seconds...
10 (mlfqs-block) Block thread acquiring lock...
11 (mlfqs-block) Main thread spinning for 5 seconds...
12 (mlfqs-block) Main thread releasing lock.
13 (mlfqs-block) ...got it.
14 (mlfqs-block) Block thread should have already acquired lock.