package Types is
   pragma Pure;
   Max_Name: constant Positive := 10;

   type Wpis is record 
      numer: Positive;
      nazwa: String(1..Max_Name);
   end record;
end Types;