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

RN
RV NO_ACCESS_SUBPROGRAMS
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U sdl_assert_h%s	sdl_assert_h.ads	ccaf0e04 NE OO PK
W interfaces%s		interfac.ads		interfac.ali
W interfaces.c%s	i-c.adb			i-c.ali
W interfaces.c.strings%s  i-cstrin.adb		i-cstrin.ali
W system%s		system.ads		system.ali

D ada.ads		20180525052300 76789da1 ada%s
D a-unccon.ads		20180525052301 0e9b276f ada.unchecked_conversion%s
D interfac.ads		20180525052300 5ab55268 interfaces%s
D i-c.ads		20180525052259 5421119b interfaces.c%s
D i-cstrin.ads		20180525052301 341d0ddf interfaces.c.strings%s
D sdl_assert_h.ads	20181227001242 eaa6fe44 sdl_assert_h%s
D system.ads		20180525052301 4635ec04 system%s
D s-exctab.ads		20180525052301 54135002 system.exception_table%s
D s-parame.ads		20180525052302 48ec542b system.parameters%s
D s-stalib.ads		20180525052301 09bd3940 system.standard_library%s
X 3 interfac.ads
38K9*Interfaces 184e15 6|3r6 3r24 4r6 87r19 88r18 90r20 98r14 99r14
X 4 i-c.ads
18K20*C 230e17 6|3w17 3r35 4r17 87r30 88r29 90r31 98r25 99r25
35I9*int<integer> 6|85r31 89r25 100r14
43M9*unsigned 6|86r31
X 5 i-cstrin.ads
36K22*Strings 106e25 6|4w19 87r32 88r31 90r33 98r27 99r27
47P9*chars_ptr 6|87r40 88r39 90r41 98r35 99r35
X 6 sdl_assert_h.ads
7K9*SDL_assert_h 217l5 217e17
9N4*SDL_ASSERT_LEVEL
16N4*SDL_NULL_WHILE_LOOP_CONDITION
76E9*SDL_AssertState 81e35 82r26 100r26 117r119
77n7*SDL_ASSERTION_RETRY{76E9}
78n7*SDL_ASSERTION_BREAK{76E9}
79n7*SDL_ASSERTION_ABORT{76E9}
80n7*SDL_ASSERTION_IGNORE{76E9}
81n7*SDL_ASSERTION_ALWAYS_IGNORE{76E9}
84R9*SDL_AssertData 92e14
85i7*always_ignore{4|35I9}
86m7*trigger_count{4|43M9}
87p7*condition{5|47P9}
88p7*filename{5|47P9}
89i7*linenum{4|35I9}
90p7*c_function{5|47P9}
91p7*next
96V13*SDL_ReportAssertion{76E9} 97^7 98>7 99>7 100>7 101b<c,SDL_ReportAssertion>22
97p7 arg1(84R9)
98p7 arg2{5|47P9}
99p7 arg3{5|47P9}
100i7 arg4{4|35I9}
117P9*SDL_AssertionHandler(76E9) 117^50 117>89 118r26 141r49 155r51 174r73
117p50 arg1(84R9)
117m89 arg2{7|67M9}
141U14*SDL_SetAssertionHandler 141>39 141>71 142b<c,SDL_SetAssertionHandler>22
141p39 handler{117P9}
141m71 userdata{7|67M9}
155V13*SDL_GetDefaultAssertionHandler{117P9} 156b<c,SDL_GetDefaultAssertionHandler>22
174V13*SDL_GetAssertionHandler{117P9} 174>38 175b<c,SDL_GetAssertionHandler>22
174m38 puserdata{7|67M9}
200V13*SDL_GetAssertionReport(84R9) 201b<c,SDL_GetAssertionReport>22
211U14*SDL_ResetAssertionReport 212b<c,SDL_ResetAssertionReport>22
X 7 system.ads
37K9*System 6|5w6 117r96 141r82 174r50 7|156e11
67M9*Address 6|117r103 141r89 174r57

