privileged aspect Introduction {
  public String Destination.helloWorld(@SomeAnnotation("xyz") String who) {
    return "Hello " + who;
  }
}