aspect Aspect2 {
  public Construction.__ Construction.__() { return new __("abc"); }
}