1pragma Assertion_Policy (Ignore);
2
3with Ada.Containers; use Ada.Containers;
4with Ada.Containers.Formal_Hashed_Maps;
5with Ada.Strings;    use Ada.Strings;
6with Ada.Strings.Hash;
7
8package Config_Pragma1_Pkg is
9   subtype Positive10 is Positive range 1 .. 1000;
10   subtype String10 is String (Positive10);
11
12   package FHM is new Formal_Hashed_Maps
13     (Key_Type        => String10,
14      Element_Type    => Positive10,
15      Hash            => Hash,
16      Equivalent_Keys => "=");
17
18   FHMM : FHM.Map
19     (Capacity => 1_000_000,
20      Modulus  => FHM.Default_Modulus (Count_Type (1_000_000)));
21end Config_Pragma1_Pkg;
22