protocol P {
  init()
  var x: Int { get set }
}