public aspect X {
  before():execution(* m1()) {}
}