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 ZX

RN
RV NO_EXCEPTIONS
RV NO_STANDARD_STORAGE_POOLS
RV SPARK

U system.val_llu%b	s-valllu.adb		25c21d28 NE OL PK
W system%s		system.ads		system.ali
W system.unsigned_types%s  s-unstyp.ads		s-unstyp.ali
W system.val_util%s	s-valuti.adb		s-valuti.ali

U system.val_llu%s	s-valllu.ads		80379a15 NE OL PU PK
W system%s		system.ads		system.ali
W system.unsigned_types%s  s-unstyp.ads		s-unstyp.ali

D system.ads		20121213103024 90249111
D s-unstyp.ads		20121213103024 6ae15c76
D s-valllu.ads		20121213103024 7af25772
D s-valllu.adb		20121213103024 9971a0d2
D s-valuti.ads		20121213103024 aca0b6fe
X 1 system.ads
37K9*System 152e11 3|35r6 37r9 43r29 73r29 80r28 86r5 4|32r6 32r33 33r6 33r33
. 35r14 304r5
X 2 s-unstyp.ads
42K16*Unsigned_Types 210e26 3|35w13 43r36 73r36 80r35 4|32w13 32r40
49M9*Long_Long_Unsigned 3|43r51 73r51 80r50 4|44r29 49r14 61r14 64r15 76r30
. 79r31 143r29 144r23 147r30 148r23 241r30 242r23 273r29 294r28 296r11
X 3 s-valllu.ads
37K16*Val_LLU 1|37k9 3|86l12 86e19 4|35b21 304l12 304t19
40V13*Scan_Raw_Long_Long_Unsigned{2|49M9} 41>7 42^7 43>7 4|41b13 264l8 264t35
. 286s14
41s7 Str{string} 4|42b7 69r30 87r37 92r19 93r36 124r28 124r50 125r23 157r19
. 158r43 160r22 162r36 164r22 166r36 210r30 215r19 221r22 222r36 232r31 260r21
42p7 Ptr(integer) 4|43b7 68r12 93r44 120r7 209r19 216r19 222r44 232r36
43i7 Max{integer} 4|44b7 85r27 93r49 124r14 208r23 222r49 232r41
70V13*Scan_Long_Long_Unsigned{2|49M9} 71>7 72^7 73>7 4|270b13 287l8 287t31
. 299s12
71s7 Str{string} 4|271b7 279r23 281r10 286r43
72p7 Ptr(integer) 4|272b7 279r28 281r15 282r10 286r48
73i7 Max{integer} 4|273b7 279r33 286r53
79V13*Value_Long_Long_Unsigned{2|49M9} 80>7 4|293b13 302l8 302t32
80s7 Str{string} 4|294b7 297r30 299r37 299r52 300r29
X 4 s-valllu.adb
46i7 P{integer} 68m7 69r35 70m7 70r12 85r23 87r42 92r24 93m41 93r41 115m16
. 115r21 120r18 124r10 124r33 124r55 125r28 126m10 126r15 157r24 158r48 160r27
. 162r41 164r27 166r41 206m16 206r21 208r19 209r30 215r24 216r30 221r27 222m41
. 222r41
49m7 Uval{2|49M9} 69m7 101r19 102m19 102r32 104r22 108m19 108r32 110r22 127r18
. 128m10 174m19 187r22 188m19 188r34 190r22 194m19 194r34 196r22 234r30 247r19
. 252m16 252r24 262r17
52i7 Expon{integer} 232m7 234r10 246r27
55b7 Overflow{boolean} 105m19 111m22 136m13 183m19 191m19 197m22 248m19 259r10
58e7 Base_Char{character} 125m10 215r29
61m7 Base{2|49M9} 127m10 135r13 137m13 144r49 144r61 148r49 174r27 182r28
. 188r27 194r27 242r49 252r31
64m7 Digit{2|49M9} 87m13 91r16 102r39 108r39 158m19 161m19 165m19 182r19
. 188r41 194r41
76N10 Umax 101r27
79N10 Umax10 104r29 110r29
143m13 Umax{2|49M9} 187r30
147m13 UmaxB{2|49M9} 190r29 196r29
241m13 UmaxB{2|49M9} 247r26
246i17 J{integer}
275i7 Start{positive} 279m38 282r21
296m7 V{2|49M9} 299m7 301r14
297i7 P{integer} 299m42 299r42 300r34
X 5 s-valuti.ads
34K16*Val_Util 4|33w13 33r40 5|117e20
37U14*Bad_Value 4|210s19 260s10
75U14*Scan_Plus_Sign 4|279s7
83V13*Scan_Exponent{integer} 4|232s16
99U14*Scan_Trailing_Blanks 4|300s7
103U14*Scan_Underscore 4|93s19 222s19