V "GNAT Lib v7"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -mtune=pentium
A -march=pentium
P ZX

RN
RV NO_DISPATCH
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

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

D ada.ads		20170106053348 76789da1 ada%s
D a-tags.ads		20151016090316 01f5e3ef ada.tags%s
D a-tgdico.ads		20141020101144 5bab295e ada.tags.generic_dispatching_constructor%s
D system.ads		20161011141908 27426ea2 system%s
D s-stoele.ads		20140225101140 2dc34a04 system.storage_elements%s
X 1 ada.ads
16K9*Ada 20e8 3|25r10
X 2 a-tags.ads
69K13*Tags 1|16k9 2|608e13 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)