1-- Auto-generated SPARK target configuration file 2-- Target claims to be 'SYSTEM_NAME_GNAT' 3 4-- This package Standard is used for Examiner self-analysis, 5-- following CFR 1018. It is valid for both GNAT 3.14a1 and later 6-- on SPARC/Solaris and IA32/Win32 7 8package Standard is 9 type Integer is range -2147483648 .. 2147483647; 10 type Float is digits 6 range -3.40282E+38 .. 3.40282E+38; 11 type Short_Short_Integer is range -128 .. 127; 12 type Short_Integer is range -32768 .. 32767; 13 type Long_Integer is range -2147483648 .. 2147483647; 14 type Long_Long_Integer is range -9223372036854775808 .. 9223372036854775807; 15 type Short_Float is digits 6 range -3.40282E+38 .. 3.40282E+38; 16end Standard; 17 18package System is 19Min_Int: constant := -2147483648; 20Max_Int : constant := 2147483647; 21subtype Any_Priority is integer range 0 .. 31; 22subtype Priority is Any_Priority range 0 .. 30; 23--Default_Priority : constant Priority := 0; 24subtype Interrupt_Priority is Any_Priority range 31 .. 31; 25end System; 26