extension S : P4 {
  public typealias Result = Int
  public func getResult() -> Result {
    return 888
  }
}