"join-dummy", "join-invalid", "join-no",
"priority-preempt", "priority-fifo", "priority-donate-one",
"priority-donate-multiple", "priority-donate-nest",
"join-dummy", "join-invalid", "join-no",
"priority-preempt", "priority-fifo", "priority-donate-one",
"priority-donate-multiple", "priority-donate-nest",