trait A { def x = 5 }