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_RECURSION
RV NO_DYNAMIC_SIZED_OBJECTS
RV SPARK_05

U system.img_int%b	s-imgint.adb		6c2f8802 NE OL PK
W system%s		system.ads		system.ali

U system.img_int%s	s-imgint.ads		25998e60 NE OL PU PK
W system%s		system.ads		system.ali

D system.ads		20161011141908 27426ea2 system%s
D s-imgint.ads		20090409110020 02dbe0c2 system.img_int%s
D s-imgint.adb		20160420060542 6ef468c0 system.img_int%b
X 1 system.ads
37K9*System 148e11 2|36r9 57r5 3|32r14 103r5
X 2 s-imgint.ads
36K16*Img_Int 1|37k9 2|57l12 57e19 3|32b21 103l12 103t19
39U14*Image_Integer 40>7 41=7 42<7 3|46b14 62l8 62t21
40i7 V{integer} 3|47b7 54r10 61r26
41a7 S{string} 3|48b7 51r22 55m10 61m29
42i7 P{natural} 3|49b7 56m10 58m10 61m32
47U14*Set_Image_Integer 48>7 49=7 50=7 3|61s7 88b14 101l8 101t25
48i7 V{integer} 3|89b7 94r10 95r23 99r22
49a7 S{string} 3|90b7 95m26 98m10 99m25
50i7 P{natural} 3|91b7 95m29 97m10 97r15 98r13 99m28
X 3 s-imgint.adb
34U14 Set_Digits 35>7 36=7 37=7 68b14 75s10 82l8 82t18 95s10 99s10
35i7 T{integer} 69b7 74r10 75r22 77r40 80r39
36a7 S{string} 70b7 75m30 77m10 80m10
37i7 P{natural} 71b7 75m33 76m10 76r15 77r13 79m10 79r15 80r13