Attempt at priority-sema test