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