aspect Asp {
  declare @method: void Target.main(..): @Wibble("abc");
}