V "GNAT Lib v6" A -gnatwa A -nostdinc A -O2 A -Wextra A -Wall A -g A -gnatp A -gnatg A -mtune=generic A -march=i586 P ZX RN RV NO_IMPLICIT_CONDITIONALS RV NO_DYNAMIC_SIZED_OBJECTS RV SPARK_05 U system.img_dec%b s-imgdec.adb bd3715ff NE OL PK W system%s system.ads system.ali W system.img_int%s s-imgint.adb s-imgint.ali U system.img_dec%s s-imgdec.ads 838899e3 NE OL PU PK W system%s system.ads system.ali D system.ads 20151123113124 2da59038 system%s D s-imgdec.ads 20090409150019 ae2d09db system.img_dec%s D s-imgdec.adb 20150304100140 11c1fce6 system.img_dec%b D s-imgint.ads 20090409150019 02dbe0c2 system.img_int%s X 1 system.ads 37K9*System 200e11 2|35r9 83r5 3|32r6 32r26 34r14 420r5 X 2 s-imgdec.ads 35K16*Img_Dec 1|37k9 2|83l12 83e19 3|34b21 420l12 420t19 38U14*Image_Decimal 39>7 40=7 41<7 42>7 3|40b14 59l8 59t21 39i7 V{integer} 3|41b7 51r10 58r26 40a7 S{string} 3|42b7 46r22 52m10 58m29 41i7 P{natural} 3|43b7 53m10 55m10 58m32 42i7 Scale{integer} 3|44b7 58r35 58r61 50U14*Set_Image_Decimal 51>7 52=7 53=7 54>7 55>7 56>7 57>7 3|58s7 404b14 . 418l8 418t25 51i7 V{integer} 3|405b7 413r39 52a7 S{string} 3|406b7 417m46 53i7 P{natural} 3|407b7 417m49 54i7 Scale{integer} 3|408b7 417r52 55i7 Fore{natural} 3|409b7 417r59 56i7 Aft{natural} 3|410b7 417r65 57i7 Exp{natural} 3|411b7 417r70 67U14*Set_Decimal_Digits 68=7 69>7 70<7 71=7 72>7 73>7 74>7 75>7 3|65b14 . 398l8 398t26 417s7 68a7 Digs{string} 3|66b7 75r36 75r42 78r26 78r32 151r31 151r37 152m16 152r22 . 154m16 154r22 169r16 171r40 174m22 177m22 185m16 185r22 234r18 257r15 282m39 . 285m40 370r35 69i7 NDigs{natural} 3|67b7 86r23 89r23 70a7 S{string} 3|68b7 200m10 71i7 P{natural} 3|69b7 199m10 199r15 200r13 72i7 Scale{integer} 3|70b7 92r45 307r23 73i7 Fore{natural} 3|71b7 255r31 314r34 371r40 377r40 390r37 74i7 Aft{natural} 3|72b7 98r64 75i7 Exp{natural} 3|73b7 254r10 288r22 X 3 s-imgdec.adb 75b7 Minus{boolean} 211r13 78b7 Zero{boolean} 155m16 276r23 83i7 FD{natural} 146r20 159m13 186m16 257r21 258m10 258r16 263r25 263r29 . 265r25 351r31 351r35 354r31 370r41 378r31 391r28 391r32 393r28 86i7 LD{natural} 141r18 160m13 166m13 167r19 265r29 307r17 354r35 378r35 . 393r54 89i7 ND{natural} 92r40 161m13 167m13 187m16 187r22 259m10 259r16 262r13 266r46 . 278m10 282m45 282r45 285m46 285r46 288r28 289r25 332r24 355r36 365r16 370r19 . 379r53 394r50 92i7 Digits_Before_Point{integer} 158m13 158r36 188m16 188r39 276r40 313r13 . 322r59 365r21 377r47 379r31 390r44 391r37 393r33 394r55 98i7 Digits_After_Point{natural} 256r17 262r19 263r34 266r25 307r31 319r32 . 385r28 394r28 101i7 Expon{integer} 276m10 280r13 282r32 285r33 104U17 Round 104>24 135b17 191l11 191t16 256s10 307s10 104i24 N{integer} 135b24 141r13 146r16 151r16 166r19 169r22 170r38 113U17 Set 113>22 114r22 197b17 201l11 201t14 215s16 218s13 222s16 234s13 . 245s13 257s10 260s10 277s10 281s13 284s13 315s13 316s13 372s19 384s16 392s16 113e22 C{character} 197b22 200r19 117U17 Set_Blanks_And_Sign 117>38 207b17 225l11 225t30 255s10 314s13 371s19 . 377s19 390s16 117i38 N{integer} 207b38 208r25 123U17 Set_Digits 123>29 123>32 124r22 231b17 236l11 236t21 263s13 265s13 . 289s10 351s19 354s19 378s19 391s16 393s16 123i29 S{natural} 231b29 233r19 123i32 E{natural} 231b32 233r24 127U17 Set_Zeroes 127>29 128r22 242b17 247l11 247t21 266s13 288s10 329s16 . 355s19 379s19 385s16 394s16 127i29 N{integer} 242b29 244r24 136e10 D{character} 171m19 173r22 174r34 170i20 J{integer} 171r46 174r28 177r28 208i10 W{integer} 212m13 212r18 214r27 221r27 214i17 J{integer} 221i17 J{integer} 233i14 J{integer} 234r24 244i14 J{integer} 319i16 DA{natural} 322r54 330m16 330r22 332r19 351r40 355r31 322i16 LZ{integer} 329r28 330r27 413a7 Digs{string} 417m27 417r27 417r33 X 4 s-imgint.ads 36K16*Img_Int 3|32w13 32r33 4|57e19 47U14*Set_Image_Integer 3|282s13 285s13