package Init.Caps is

   pragma Pure (Init.Caps);

   Meta_Cap   : constant := 1;
   Launch_Cap : constant := 2;
   Copy_Cap   : constant := 3;
   Port_Cap   : constant := 4;
   Memory_Cap : constant := 5;

end Init.Caps;
