--  { dg-do compile }
--  { dg-options "-gnatd.F" }

package body Allocator2 is
   procedure Dummy is null;
end Allocator2;