trait B extends A {
  def x: S
  def y: Int = x
}