1-- Auto-generated SPARK target configuration file
2-- Target claims to be 'SYSTEM_NAME_GNAT'
3
4package Standard is
5   type Integer is range -2147483648 ..  2147483647;
6   type Float is digits  6 range -3.40282E+38 ..  3.40282E+38;
7   type Short_Short_Integer is range -128 ..  127;
8   type Short_Integer is range -32768 ..  32767;
9   type Long_Integer is range -2147483648 ..  2147483647;
10   type Long_Long_Integer is range -9223372036854775808 ..  9223372036854775807;
11end Standard;
12
13package System is
14   type Address is private;
15   Min_Int : constant := -9223372036854775808;
16   Max_Int : constant :=  9223372036854775807;
17   Max_Binary_Modulus : constant :=  18446744073709551615 + 1;
18   Max_Digits : constant :=  18;
19   Max_Base_Digits : constant :=  18;
20   Max_Mantissa : constant :=  63;
21   Storage_Unit : constant :=  8;
22   Word_Size : constant :=  32;
23   Fine_Delta : constant :=  1.08420217248550443E-19;
24   subtype Any_Priority is Integer range  0 ..  31;
25   subtype Priority is Any_Priority range  0 ..  30;
26   subtype Interrupt_Priority is Any_Priority range  31 ..  31;
27   Default_Bit_Order : constant Bit_Order := Low_Order_First;
28end System;
29