trait A {
  def foo: Int = 12
}