Passes priority-donate-lower with a small change to thread_set_priority(). Finally, all tests pass.