public aspect X {
  before(): Y.p() {} 

}