public aspect AspectX4 {
  declare parents: Bottom4 extends Middle4;
}