public aspect AddAnnotation {
  declare @method : public int *do*(..) : @Anno;
}