V "GNAT Lib v2019"
A -O3
A -gnat12
P ZX

RN
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U stdint_h%s		stdint_h.ads		fe6ed21f NE OO PK IL
W interfaces%s		interfac.ads		interfac.ali
W interfaces.c%s	i-c.adb			i-c.ali

D ada.ads		20190518041255 76789da1 ada%s
D a-unccon.ads		20190518041255 0e9b276f ada.unchecked_conversion%s
D interfac.ads		20190518041254 5ab55268 interfaces%s
D i-c.ads		20190518041254 5421119b interfaces.c%s
D stdint_h.ads		20181227000629 aa4fc384 stdint_h%s
D system.ads		20190518041255 4635ec04 system%s
D s-exctab.ads		20190518041255 54135002 system.exception_table%s
D s-parame.ads		20190518041256 48ec542b system.parameters%s
D s-stalib.ads		20190518041256 09bd3940 system.standard_library%s
G a e
X 3 interfac.ads
38K9*Interfaces 184e15 5|3r6 3r24
X 4 i-c.ads
18K20*C 230e17 5|3w17 3r35
35I9*int<integer> 5|123r29
36I9*short<short_integer> 5|121r29
37I9*long<long_integer> 5|125r29 140r28 142r28 144r28 156r24 161r24
40I9*signed_char<short_short_integer> 5|119r28 138r27
43M9*unsigned 5|113r24 132r30
44M9*unsigned_short 5|111r24 130r30
45M9*unsigned_long 5|115r24 134r30 149r29 151r29 153r29 158r25 163r25
47M9*unsigned_char 5|109r23 128r29 147r28
X 5 stdint_h.ads
5K9*stdint_h 189l5 189e13
7N4*INT8_MIN
8N4*INT16_MIN
9N4*INT32_MIN
12N4*INT8_MAX
13N4*INT16_MAX
14N4*INT32_MAX
17N4*UINT8_MAX
18N4*UINT16_MAX
19N4*UINT32_MAX
22N4*INT_LEAST8_MIN
23N4*INT_LEAST16_MIN
24N4*INT_LEAST32_MIN
27N4*INT_LEAST8_MAX
28N4*INT_LEAST16_MAX
29N4*INT_LEAST32_MAX
32N4*UINT_LEAST8_MAX
33N4*UINT_LEAST16_MAX
34N4*UINT_LEAST32_MAX
37N4*INT_FAST8_MIN
39N4*INT_FAST16_MIN
40N4*INT_FAST32_MIN
43N4*INT_FAST8_MAX
45N4*INT_FAST16_MAX
46N4*INT_FAST32_MAX
49N4*UINT_FAST8_MAX
51N4*UINT_FAST16_MAX
52N4*UINT_FAST32_MAX
55N4*INTPTR_MIN
56N4*INTPTR_MAX
57N4*UINTPTR_MAX
62N4*PTRDIFF_MIN
63N4*PTRDIFF_MAX
65N4*SIG_ATOMIC_MIN
66N4*SIG_ATOMIC_MAX
68N4*SIZE_MAX
70N4*WINT_MIN
71N4*WINT_MAX
109M12*uint8_t{4|47M9}
111M12*uint16_t{4|44M9}
113M12*uint32_t{4|43M9}
115M12*uint64_t{4|45M9}
119I12*int_least8_t{4|40I9}
121I12*int_least16_t{4|36I9}
123I12*int_least32_t{4|35I9}
125I12*int_least64_t{4|37I9}
128M12*uint_least8_t{4|47M9}
130M12*uint_least16_t{4|44M9}
132M12*uint_least32_t{4|43M9}
134M12*uint_least64_t{4|45M9}
138I12*int_fast8_t{4|40I9}
140I12*int_fast16_t{4|37I9}
142I12*int_fast32_t{4|37I9}
144I12*int_fast64_t{4|37I9}
147M12*uint_fast8_t{4|47M9}
149M12*uint_fast16_t{4|45M9}
151M12*uint_fast32_t{4|45M9}
153M12*uint_fast64_t{4|45M9}
156I12*intptr_t{4|37I9}
158M12*uintptr_t{4|45M9}
161I12*intmax_t{4|37I9}
163M12*uintmax_t{4|45M9}

