package Bar is

   type Empty is null record;

   procedure Do_Nothing;

end Bar;