public interface Priority { public int priority(); }