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

-- This package Standard is used for Examiner self-analysis,
-- following CFR 1018.  It is valid for both GNAT 3.14a1 and later
-- on SPARC/Solaris and IA32/Win32

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;
   type Short_Float is digits  6 range -3.40282E+38 ..  3.40282E+38;
end Standard;

package System is
Min_Int: constant := -2147483648;
Max_Int : constant := 2147483647;
subtype Any_Priority is integer range 0 .. 31;
subtype Priority is Any_Priority range 0 .. 30;
--Default_Priority : constant Priority := 0;
subtype Interrupt_Priority is Any_Priority range 31 .. 31;
end System;
