V "GNAT Lib v15"
A -O2
A -O2
A -gnatA
A -gnatwu
A -gnatwa
A -gnaty
A -gnatQ
A -gnatn
A -mtune=nocona
A -march=nocona
P ZX

RN
RV NO_ALLOCATORS
RV NO_DISPATCH
RV NO_DISPATCHING_CALLS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_FINALIZATION
RV NO_IMPLICIT_CONDITIONALS
RV NO_LOCAL_ALLOCATORS
RV NO_NESTED_FINALIZATION
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_DEALLOCATION
RV NO_IMPLEMENTATION_ASPECT_SPECIFICATIONS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE

U sax.pointers%b	sax-pointers.adb	01f3c7bc OO PK
W ada%s			ada.ads			ada.ali
Z ada.strings.text_buffers%s  a-sttebu.adb	a-sttebu.ali
W ada.unchecked_deallocation%s
W gnat%s		gnat.ads		gnat.ali
W gnat.task_lock%s	g-tasloc.ads		g-tasloc.ali
W interfaces%s		interfac.ads		interfac.ali
W sax%s			sax.ads			sax.ali

U sax.pointers%s	sax-pointers.ads	e04f59e9 BN EE OO PF PK
W ada%s			ada.ads			ada.ali
Z ada.exceptions%s	a-except.adb		a-except.ali
W ada.finalization%s	a-finali.ads		a-finali.ali
Z ada.streams%s		a-stream.adb		a-stream.ali
Z ada.strings.text_buffers%s  a-sttebu.adb	a-sttebu.ali
Z ada.tags%s		a-tags.adb		a-tags.ali
W interfaces%s		interfac.ads		interfac.ali
W sax%s			sax.ads			sax.ali
Z system%s		system.ads		system.ali
Z system.finalization_primitives%s  s-finpri.adb  s-finpri.ali
Z system.pool_global%s	s-pooglo.adb		s-pooglo.ali
Z system.put_images%s	s-putima.adb		s-putima.ali
Z system.soft_links%s	s-soflin.adb		s-soflin.ali
Z system.stream_attributes%s  s-stratt.adb	s-stratt.ali

D ada.ads		20250808065140 76789da1 ada%s
D a-except.ads		20250808065140 e7970cd9 ada.exceptions%s
D a-finali.ads		20250808065140 bf4f806b ada.finalization%s
D a-ioexce.ads		20250808065140 40018c65 ada.io_exceptions%s
D a-stream.ads		20250808065140 17477cbd ada.streams%s
D a-string.ads		20250808065140 90ac6797 ada.strings%s
D a-sttebu.ads		20250808065140 f1ad67a2 ada.strings.text_buffers%s
D a-stuten.ads		20250808065140 c6ced0ae ada.strings.utf_encoding%s
D a-tags.ads		20250808065140 fbca0ad5 ada.tags%s
D a-unccon.ads		20250808065140 0e9b276f ada.unchecked_conversion%s
D a-uncdea.ads		20250808065140 c3a8ac65 ada.unchecked_deallocation%s
D gnat.ads		20250808065140 b5988c27 gnat%s
D g-tasloc.ads		20250808065140 9c49392e gnat.task_lock%s
D interfac.ads		20250808065140 9111f9c1 interfaces%s
D i-c.ads		20250808065140 e94c966a interfaces.c%s
D sax.ads		20250218114115 17965ec6 sax%s
D sax-pointers.ads	20250218114115 d9877e85 sax.pointers%s
D sax-pointers.adb	20250218114115 1684d5b3 sax.pointers%b
D system.ads		20250808065140 ed42882a system%s
D s-exctab.ads		20250808065140 91bef6ef system.exception_table%s
D s-finpri.ads		20250808065140 5970d55a system.finalization_primitives%s
D s-finpri.adb		20250808065140 02c85f69 system.finalization_primitives%b
D s-finroo.ads		20250808065140 0a7c3ed4 system.finalization_root%s
D s-oscons.ads		20260619043708 a645d486 system.os_constants%s
D s-oslock.ads		20250808065140 13fa6b78 system.os_locks%s
D s-parame.ads		20260619025210 31b10652 system.parameters%s
D s-pooglo.ads		20250808065140 91708d21 system.pool_global%s
D s-putima.ads		20250808065140 17291fe4 system.put_images%s
D s-secsta.ads		20250808065140 578279f5 system.secondary_stack%s
D s-soflin.ads		20250808065140 5d88fdea system.soft_links%s
D s-stache.ads		20250808065140 0b81c1fe system.stack_checking%s
D s-stalib.ads		20250808065140 1c9580f6 system.standard_library%s
D s-stoele.ads		20250808065140 ccded4e8 system.storage_elements%s
D s-stopoo.ads		20250808065140 e9fa2dd8 system.storage_pools%s
D s-stratt.ads		20250808065140 516607ae system.stream_attributes%s
D s-stratt.adb		20250808065140 c8964632 system.stream_attributes%b
D s-statxd.ads		20250808065140 b54789f6 system.stream_attributes.xdr%s
D s-tasloc.ads		20250808065140 618a376e system.task_lock%s
D s-traent.ads		20250808065140 c81cbf8c system.traceback_entries%s
D s-unstyp.ads		20250808065140 fa2a7f59 system.unsigned_types%s
G a e
G c Z s b [free sax__pointers 52 14 none]
G c Z s s [root_encapsulatedDA sax__pointers 97 9 none]
G c Z s s [root_encapsulatedDF sax__pointers 97 9 none]
G c Z s s [root_encapsulatedIP sax__pointers 97 9 none]
G c Z b b [unchecked_free sax__pointers 30 14 none]
X 1 ada.ads
18K9*Ada 22e8 17|27r6 84r27 93r25 18|24r6 30r36 71r21 73r21
X 3 a-finali.ads
40K13*Finalization 68e21 17|27w10 84r31 93r29 18|71r25 73r25
43H9*Controlled<23|40R9> 59e72 17|84r44 93r42 18|71r38 73r38
X 11 a-uncdea.ads
23u15*Unchecked_Deallocation 18|24w10 30r40
X 12 gnat.ads
40K9*GNAT 63e9 18|25r6 115r13 118r16 122r16 137r13 139r13
X 13 g-tasloc.ads
46K14*Task_Lock=46:39 18|25w11 115r18 118r21 122r21 137r18 139r18
X 14 interfac.ads
47K9*Interfaces 247e15 17|28w6 98r26 18|26w6 26r24
65I9*Integer_32<integer> 17|98r37 18|132r18
X 16 sax.ads
33K9*Sax 35e8 17|30r9 100r5 18|28r14 145r5
X 17 sax-pointers.ads
30K13*Pointers 16|33k9 17|97E9 100l9 100e17 18|28b18 145l9 145t17
49H9*Root_Encapsulated 50r48 52p14 52r34 57r41 97c9 99e14 18|31r7 46r34
50P9*Root_Encapsulated_Access(49R9) 85r17 18|31r32 100r17 134r26
52U14*Free 52=20 18|46b14 50l8 50t12 119R16
52r20 Data{49R9} 18|46b20 47r28
57H12 Encapsulated<49R9> 52p14 62r46 64r33 65r40 18|62r33 63r52 68r40
58k12*Smart_Pointers 57z12 84E12 94l8 94e22 18|56b17 143l8 143t22
59R12*Pointer<3|43R9> 60r31 64r60 65r67 76r25 80r30 84c12 86e17 88r38 89r38
. 92r31 18|62r60 68r67 81r25 90r30 99r38 131r36
60r7*Null_Pointer{59R12} 92c7
62P12*Encapsulated_Access(57R12) 76r41 18|63r25 81r41 83r17
64V16*Allocate{59R12} 64>26 18|62b16 66l11 66t19
64*26 Data<57R12> 18|62b26 63r72
65V16*Allocate{59R12} 65^26 18|65s17 68b16 75l11 75t19
65p26 Data(57R12) 18|68b26 70r13 73r54
76V16*Get{62P12} 76>21 77r22 18|81b16 84l11 84t14
76r21 P{59R12} 18|81b21 83r38
80V17*"="{boolean} 80>21 80>25 18|90b17 93l12 93t14
80r21 P1{59R12} 18|90b21 92r17
80r25 P2{59R12} 18|90b25 92r27
85p10 Data{50P9} 93m58 18|83r40 92r20 92r30 100r47 105m12 134r56
88U17 Finalize<3|48p14> 88=27 18|99b17 125l11 125t19
88r27 P{59R12} 18|99b27 100r45 105m10
89U17 Adjust<3|47p14> 89=27 18|131b17 141l11 141t17
89r27 P{59R12} 18|131b25 134r54
98i7*Refcount{14|65I9} 18|116m18 116r35 117r21 138m18 138r35
X 18 sax-pointers.adb
30U14 Unchecked_Free[11|23] 120s16
63p10 Tmp{17|62P12} 65r27
100p10 Data{17|50P9} 111r13 116r13 116r30 117r16 119r22 120m32 120r32
132i10 Dummy{14|65I9} 133r31
134p10 Data{17|50P9} 136r13 138r13 138r30
X 38 s-tasloc.ads
49U14*Lock 18|115s28 137s28
54U14*Unlock 18|118s31 122s31 139s28

