package body Aaa is

   ---------
   -- Bbb --
   ---------

   procedure Bbb is
   begin
      pragma Compile_Time_Warning (Standard.True, "Bbb unimplemented");
      raise Program_Error with "Unimplemented procedure Bbb";
   end Bbb;

   ---------
   -- Ccc --
   ---------

   procedure Ccc
   is separate;

end Aaa;
