-- Auto-generated SPARK target configuration file
-- Target claims to be 'SYSTEM_NAME_GNAT'

package Standard is
   type Integer is range -2147483648 ..  2147483647;
   type Float is digits  6 range -3.40282E+38 ..  3.40282E+38;
   type Short_Short_Integer is range -128 ..  127;
   type Short_Integer is range -32768 ..  32767;
   type Long_Integer is range -2147483648 ..  2147483647;
   type Long_Long_Integer is range -9223372036854775808 ..  9223372036854775807;
end Standard;

package System is
   type Address is private;
   Min_Int : constant := -9223372036854775808;
   Max_Int : constant :=  9223372036854775807;
   Max_Binary_Modulus : constant :=  18446744073709551615 + 1;
   Max_Digits : constant :=  18;
   Max_Base_Digits : constant :=  18;
   Max_Mantissa : constant :=  63;
   Storage_Unit : constant :=  8;
   Word_Size : constant :=  32;
   Fine_Delta : constant :=  1.08420217248550443E-19;
   subtype Any_Priority is Integer range  0 ..  31;
   subtype Priority is Any_Priority range  0 ..  30;
   subtype Interrupt_Priority is Any_Priority range  31 ..  31;
   Default_Bit_Order : constant Bit_Order := Low_Order_First;
end System;
