public aspect Aspect4 {
  declare parents: Middle4 extends Top4;
}