
with Gneiss;
with Gneiss.Component;

package Component with
SPARK_Mode
is

   procedure Run;
   procedure Construct (Cap : Gneiss.Capability);
   procedure Destruct;

   package Main is new Gneiss.Component (Construct, Destruct);

end Component;
