public aspect X3 {
  declare parents: java.lang.Obj* extends A3;
}