Tagged Thread#priority specs, which are obviously not implemented