V "GNAT Lib v5"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_DISPATCH
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U ada.tags.generic_dispatching_constructor%s  a-tgdico.ads  87e62f6a NE OL PR GE
W ada.tags%s		a-tags.adb		a-tags.ali

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-tags.ads		20140730140058 dc4d0634 ada.tags%s
D a-tgdico.ads		20141020141143 5bab295e ada.tags.generic_dispatching_constructor%s
D system.ads		20260814151758 bf8979bc system%s
D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
X 1 ada.ads
16K9*Ada 19e8 3|25r10
X 2 a-tags.ads
69K13*Tags 1|16k9 2|611e13 3|25r14
73P9*Tag 3|26r14
X 3 a-tgdico.ads
20H9 T 22r75 27r49
21+9 Parameters 22r56 27r30
22y18 Constructor{20R9} 22^31
22p31 Params(21+9)
25v19*Generic_Dispatching_Constructor 26>4 27^4 28r22 29b27
26p4 The_Tag{2|73P9}
27p4 Params(21+9)

