trait A { def x = 3 }