trait C extends A {
	abstract override def x = super.x + 5
}