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

RN
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U x86_64_linux_gnu_bits_stdint_intn_h%s  x86_64_linux_gnu_bits_stdint_intn_h.ads  1d5629d6 NE OO PK IL
W interfaces%s		interfac.ads		interfac.ali
W interfaces.c%s	i-c.adb			i-c.ali
W x86_64_linux_gnu_bits_types_h%s  x86_64_linux_gnu_bits_types_h.ads  x86_64_linux_gnu_bits_types_h.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 i-cstrin.ads		20190518041255 341d0ddf interfaces.c.strings%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
D x86_64_linux_gnu_bits_stdint_intn_h.ads  20191219123333 723af19a x86_64_linux_gnu_bits_stdint_intn_h%s
D x86_64_linux_gnu_bits_types_h.ads  20191219123333 3b4dc9d7 x86_64_linux_gnu_bits_types_h%s
G a e
X 3 interfac.ads
38K9*Interfaces 184e15 10|4r6 4r24
X 4 i-c.ads
18K20*C 230e17 10|4w17 4r35
35I9*int<integer>
36I9*short<short_integer>
37I9*long<long_integer>
40I9*signed_char<short_short_integer>
X 10 x86_64_linux_gnu_bits_stdint_intn_h.ads
7K9*x86_64_linux_gnu_bits_stdint_intn_h 32l5 32e40
24I12*int8_t{11|38I12}
26I12*int16_t{11|42I12}
28I12*int32_t{11|46I12}
30I12*int64_t{11|50I12}
X 11 x86_64_linux_gnu_bits_types_h.ads
8K9*x86_64_linux_gnu_bits_types_h 10|5w6 24r22 26r23 28r23 30r23 11|218e34
38I12*uu_int8_t{4|40I9} 10|24r52
42I12*uu_int16_t{4|36I9} 10|26r53
46I12*uu_int32_t{4|35I9} 10|28r53
50I12*uu_int64_t{4|37I9} 10|30r53

