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_SECONDARY_STACK
RV NO_UNCHECKED_CONVERSION
RV NO_IMPLEMENTATION_ATTRIBUTES
RV SPARK

U system.address_image%b  s-addima.adb		57a37a42 NE OL SU
W ada%s			ada.ads			ada.ali
W ada.unchecked_conversion%s
W system%s		system.ads		system.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali

U system.address_image%s  s-addima.ads		31c80c2b NE OL SU
W system%s		system.ads		system.ali

D ada.ads		20121213103024 3ffc8e18
D a-unccon.ads		20121213103024 f9eb8f06
D system.ads		20121213103024 90249111
D s-addima.ads		20121213103024 a1ec9d3a
D s-addima.adb		20121213103024 0fa4687e
D s-secsta.ads		20121213103024 eea35a36
D s-stoele.ads		20121213103024 facd7d98
D s-stoele.adb		20121213103024 afc5dc80
X 1 ada.ads
16K9*Ada 19e8 5|32r6 47r29
X 2 a-unccon.ads
20v14*Unchecked_Conversion 5|32w10 47r33
X 3 system.ads
37K9*System 152e11 4|39r10 40r14 5|34r10 72r5
64M9*Address 4|39r36 5|34r36 36r31 44r30 45r23 47r55
68N4*Storage_Unit 5|36r46 44r45
X 4 s-addima.ads
39V17*Address_Image{string} 3|37k9 4|39>32 40r21 5|34b17 72l12 72t25
39m32 A{3|64M9} 5|34b32 49r48
X 5 s-addima.adb
36a4 Result{string} 65m7 66m7 70r11
38M9 Byte 39r8 42r22 44r62
41a4 Hexdigs(character) 65r29 66r29
44A9 Bytes(38M9)<integer> 45r8 47r64 49r29 55r49 64r13
47V13 To_Bytes[2|20]{44A9} 49s38
49a4 Byte_Sequence{44A9} 65r38 66r38
51N4 LE 52r25 55r43 56r43
52N4 BE 55r32 56r32
55i4 Start{natural} 63r11
56i4 Incr{integer} 67r20
59i4 Ptr{natural} 63m4 65r53 66r53 67m7 67r14
64i8 N{integer} 65r19 66r19
64l25 loop 68e12