trait C extends A { def x = 5 }