aspect Asp {
  declare @type: C: @ManagedResource;
}