MINI MINI MANI MO

V "GNAT Lib v4.8"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -m64
A -mtune=generic
A -march=x86-64
P SS ZX

RN
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_ACCESS
RV SPARK

U ada.strings.wide_unbounded.aux%b  a-swunau.adb  014f3844 NE OL PK
W ada.strings.wide_unbounded%s  a-stwiun.adb	a-stwiun.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W system%s		system.ads		system.ali

U ada.strings.wide_unbounded.aux%s  a-swunau.ads  4980ec2c BN NE OL PR PK
W ada.strings.wide_unbounded%s  a-stwiun.adb	a-stwiun.ali

D ada.ads		20121213103024 3ffc8e18
D a-except.ads		20121213103024 10fcae55
D a-finali.ads		20121213103024 52ecdc1b
D a-stream.ads		20121213103024 2ca4ee37
D a-string.ads		20121213103024 90ac6797
D a-stwima.ads		20121213103024 09a6f5ac
D a-stwiun.ads		20121213103024 64ae971d
D a-swunau.ads		20121213103024 2d2e7b31
D a-swunau.adb		20121213103029 2c614375
D a-tags.ads		20121213103024 6c0509d0
D a-unccon.ads		20121213103024 f9eb8f06
D system.ads		20121213103024 90249111
D s-atocou.ads		20121213103024 4a9c6cb4
D s-atocou.adb		20121213103029 7116b4cf
D s-exctab.ads		20121213103029 66e51330
D s-finmas.ads		20121213103024 b95bb341
D s-finroo.ads		20121213103024 4ff27390
D s-parame.ads		20121213103024 b6e20cc0
D s-secsta.ads		20121213103024 eea35a36
D s-soflin.ads		20121213103024 24c8153c
D s-stache.ads		20121213103024 596fc1b4
D s-stalib.ads		20130106093355 f78bcf95
D s-stoele.ads		20121213103024 facd7d98
D s-stoele.adb		20121213103024 afc5dc80
D s-stopoo.ads		20121213103024 7b8fbeee
D s-stposu.ads		20121213103024 ffeba1c5
D s-stratt.ads		20121213103029 aedef97e
D s-traent.ads		20121213103024 5221ee41
D s-unstyp.ads		20121213103024 6ae15c76
X 1 ada.ads
16K9*Ada 19e8 8|37r9 76r5 9|32r14 65r5
X 5 a-string.ads
16K13*Strings 1|16k9 5|35e16 8|37r13 76r9 9|32r18 65r9
X 7 a-stwiun.ads
48K21*Wide_Unbounded 5|16k13 7|494e31 8|37r21 76r17 9|32r26 65r17
51R9*Unbounded_Wide_String 451e14 8|44r11 60r40 69r19 9|39r11 55r19
58P9*Wide_String_Access(wide_string) 8|70r12 9|56r12 58r11
60U14*Free 9|62s7
75U14*Set_Unbounded_Wide_String 8|61r14 9|61s7
411R9 Shared_Wide_String
415i7*Last{natural} 9|47r24
416a7*Data{wide_string} 9|44m37
421P9 Shared_Wide_String_Access(411R9)
450p7*Reference{421P9} 9|44r27 47r14
X 8 a-swunau.ads
37K36*Aux 7|48k21 8|76l32 76e35 9|32b41 65l32 65t35
40A12*Big_Wide_String{wide_string}<integer> 41r46 9|43r19
41P9*Big_Wide_String_Access(40A12) 45r15 9|40r15
43U14*Get_Wide_String 44>7 45<7 46<7 47r19 9|38b14 48l8 48t23
44r7 U{7|51R9} 9|39b7 44m25 44r25 47r12
45p7 S{41P9} 9|40b7 46m7
46i7 L{natural} 9|41b7 47m7
60U14*Set_Wide_String=61:14
60r31 UP{7|51R9}
60s63 S{wide_string}
68U14*Set_Wide_String 69=7 70>7 9|54b14 63l8 63t23
69r7 UP{7|51R9} 9|55b7 61m34
70p7 S{7|58P9} 9|56b7 58r33 61r38
X 9 a-swunau.adb
43a7 X{8|40A12} 44m11 44r11 46m12 46r12
58p7 X{7|58P9} 62m13 62r13