public protocol P {
  let x: Int
}