public protocol P { }
public protocol Q { }