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