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		67b971b6 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		20190624144546 3398602d 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|4r6 4r24
X 4 i-c.ads
18K20*C 230e17 5|4w17 4r35
35I9*int<integer> 5|115r23 134r29
36I9*short<short_integer> 5|113r23 132r29
37I9*long<long_integer> 5|117r23 136r29 151r28 153r28 155r28 167r24 172r24
40I9*signed_char<short_short_integer> 5|111r22 130r28 149r27
43M9*unsigned 5|124r24 143r30
44M9*unsigned_short 5|122r24 141r30
45M9*unsigned_long 5|126r24 145r30 160r29 162r29 164r29 169r25 174r25
47M9*unsigned_char 5|120r23 139r29 158r28
X 5 stdint_h.ads
6K9*stdint_h 200l5 200e13
8N4*INT8_MIN
9N4*INT16_MIN
10N4*INT32_MIN
13N4*INT8_MAX
14N4*INT16_MAX
15N4*INT32_MAX
18N4*UINT8_MAX
19N4*UINT16_MAX
20N4*UINT32_MAX
23N4*INT_LEAST8_MIN
24N4*INT_LEAST16_MIN
25N4*INT_LEAST32_MIN
28N4*INT_LEAST8_MAX
29N4*INT_LEAST16_MAX
30N4*INT_LEAST32_MAX
33N4*UINT_LEAST8_MAX
34N4*UINT_LEAST16_MAX
35N4*UINT_LEAST32_MAX
38N4*INT_FAST8_MIN
40N4*INT_FAST16_MIN
41N4*INT_FAST32_MIN
44N4*INT_FAST8_MAX
46N4*INT_FAST16_MAX
47N4*INT_FAST32_MAX
50N4*UINT_FAST8_MAX
52N4*UINT_FAST16_MAX
53N4*UINT_FAST32_MAX
56N4*INTPTR_MIN
57N4*INTPTR_MAX
58N4*UINTPTR_MAX
63N4*PTRDIFF_MIN
64N4*PTRDIFF_MAX
66N4*SIG_ATOMIC_MIN
67N4*SIG_ATOMIC_MAX
69N4*SIZE_MAX
73N4*WINT_MIN
74N4*WINT_MAX
111I12*int8_t{4|40I9}
113I12*int16_t{4|36I9}
115I12*int32_t{4|35I9}
117I12*int64_t{4|37I9}
120M12*uint8_t{4|47M9}
122M12*uint16_t{4|44M9}
124M12*uint32_t{4|43M9}
126M12*uint64_t{4|45M9}
130I12*int_least8_t{4|40I9}
132I12*int_least16_t{4|36I9}
134I12*int_least32_t{4|35I9}
136I12*int_least64_t{4|37I9}
139M12*uint_least8_t{4|47M9}
141M12*uint_least16_t{4|44M9}
143M12*uint_least32_t{4|43M9}
145M12*uint_least64_t{4|45M9}
149I12*int_fast8_t{4|40I9}
151I12*int_fast16_t{4|37I9}
153I12*int_fast32_t{4|37I9}
155I12*int_fast64_t{4|37I9}
158M12*uint_fast8_t{4|47M9}
160M12*uint_fast16_t{4|45M9}
162M12*uint_fast32_t{4|45M9}
164M12*uint_fast64_t{4|45M9}
167I12*intptr_t{4|37I9}
169M12*uintptr_t{4|45M9}
172I12*intmax_t{4|37I9}
174M12*uintmax_t{4|45M9}

