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 NO_UNCHECKED_CONVERSION
RV NO_IMPLEMENTATION_RESTRICTIONS
RR NO_ELABORATION_CODE
RV SPARK

U system.arith_64%b	s-arit64.adb		7384e8d6 NE OL PK
W ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.unchecked_conversion%s
W interfaces%s		interfac.ads		interfac.ali
W system%s		system.ads		system.ali

U system.arith_64%s	s-arit64.ads		c2f01709 NE OL PU PK
W interfaces%s		interfac.ads		interfac.ali
W system%s		system.ads		system.ali

D ada.ads		20121213103024 3ffc8e18
D a-except.ads		20121213103024 10fcae55
D a-unccon.ads		20121213103024 f9eb8f06
D interfac.ads		20121213103024 129923ea
D system.ads		20121213103024 90249111
D s-arit64.ads		20130106093231 404da5f2
D s-arit64.adb		20121213103024 d8bbe1c8
D s-parame.ads		20121213103024 b6e20cc0
D s-stalib.ads		20130106093355 f78bcf95
D s-traent.ads		20121213103024 5221ee41
X 1 ada.ads
16K9*Ada 19e8 7|33r6 41r27 42r27
X 3 a-unccon.ads
20v14*Unchecked_Conversion 7|33w10 41r31 42r31
X 4 interfac.ads
36K9*Interfaces 175e15 6|39w6 44r21 7|32w6 32r22
52I9*Integer_64<long_integer> 6|44r32
61M9*Unsigned_32 7|44r21
64M9*Unsigned_64 7|40r21
127V13*Shift_Left{64M9} 7|106s14 489s19 494s19 499s19 504s19 509s19 519s16
. 521s16 523s16
131V13*Shift_Right{64M9} 7|269s21 571s16 572s16
X 5 system.ads
37K9*System 152e11 6|41r9 84r5 7|35r14 673r5
X 6 s-arit64.ads
41K16*Arith_64 5|37k9 6|84l12 84e20 7|35b21 673l12 673t20
44I12*Int64{4|52I9} 46r42 46r56 50r47 50r61 54r47 54r61 61r17 62r21 73r17
. 74r21 7|41r53 42r60 85r43 91r43 154r42 154r56 155r20 177r17 178r21 234r14
. 304r47 304r61 372r17 373r21 625r47 625r61 626r20 647r43 648r20 662r43 663r20
46V13*Add_With_Ovflo_Check{44I12} 46>35 46>38 7|154b13 170l8 170t28
46i35 X{44I12} 7|154b35 155r45 158r10
46i38 Y{44I12} 7|154b38 155r58 159r13 164r13
50V13*Subtract_With_Ovflo_Check{44I12} 50>40 50>43 7|625b13 641l8 641t33
50i40 X{44I12} 7|625b40 626r45 629r10
50i43 Y{44I12} 7|625b43 626r58 630r13 635r13
54V13*Multiply_With_Ovflo_Check{44I12} 54>40 54>43 55i<c,__gnat_mulv64>22
. 7|304b13 356l8 356t33
54i40 X{44I12} 7|304b40 305r43 342r10
54i43 Y{44I12} 7|304b43 309r43 343r13 349r13
60U14*Scaled_Divide 61>7 61>10 61>13 62<7 62<10 63>7 7|371b14 595l8 595t21
61i7 X{44I12} 7|372b7 376r43 585r11 585r44
61i10 Y{44I12} 7|372b10 380r43 585r27 585r59
61i13 Z{44I12} 7|372b13 384r34 587r19 593r19
62i7 Q{44I12} 7|373b7 587m10 593m10
62i10 R{44I12} 7|373b10 586m10 592m10
63b7 Round{boolean} 7|374b7 577r10
72U14*Double_Divide 73>7 73>10 73>13 74<7 74<10 75>7 7|176b14 261l8 261t21
73i7 X{44I12} 7|177b7 181r43 207r18 222r15 234r10 251r10
73i10 Y{44I12} 7|177b10 182r43 230r19
73i13 Z{44I12} 7|177b13 187r43 230r29
74i7 Q{44I12} 7|178b7 206m13 221m10 253m10 259m10
74i10 R{44I12} 7|178b10 207m13 222m10 252m10 258m10
75b7 Round{boolean} 7|179b7 245r10
X 7 s-arit64.adb
40M12 Uns64{4|64M9} 41r60 42r53 50r39 51r22 51r47 55r39 59r22 59r47 63r24
. 63r49 67r41 74r21 78r21 85r29 91r29 104r41 106r26 106r45 113r39 115r14
. 115r26 122r39 124r14 124r26 127r22 127r47 129r18 136r22 136r47 138r18 145r24
. 145r49 147r20 181r22 182r22 187r22 191r20 192r20 245r36 245r49 246r21 267r21
. 295r21 305r22 309r22 313r16 376r22 380r22 384r13 397r12 398r12 407r20 432r37
. 577r36 577r49 578r21 647r29 662r29
41V13 To_Uns[3|20]{4|64M9} 155s37 155s50 181s31 182s31 187s31 305s31 309s31
. 376s31 380s31 384s22 626s37 626s50
42V13 To_Int[3|20]{4|52I9} 155s29 252s15 253s32 253s50 258s16 259s33 259s50
. 626s29 648s30 663s29
44M12 Uns32{4|61M9} 50r25 51r33 55r25 59r33 63r35 67r27 71r31 71r51 74r35
. 78r35 82r40 82r60 104r27 113r25 122r25 127r33 136r33 145r35 184r22 185r22
. 188r22 189r22 267r35 269r14 276r31 276r51 295r35 297r14 306r22 307r22 310r22
. 311r22 377r22 378r22 381r22 382r22 385r13 386r13 388r29 391r30 394r20 601r40
. 601r60
50V14 "+"{40M12} 50>18 50>21 122b14 125l9 125t11 419s22 425s25 427s25 443s25
. 546s27
50m18 A{44M12} 122b18 124r21
50m21 B{44M12} 122b21 124r33
51V14 "+"{40M12} 51>18 51>29 127b14 130l9 130t11 218s16 334s16 428s22
51m18 A{40M12} 127b18 129r14
51m29 B{44M12} 127b29 129r25
55V14 "*"{40M12} 55>18 55>21 113b14 116l9 116t11 210s23 214s38 217s17 320s23
. 324s20 333s17 413s17 418s20 424s23 432s48 442s23 543s30 544s30
55m18 A{44M12} 113b18 115r21
55m21 B{44M12} 113b21 115r33
59V14 "/"{40M12} 59>18 59>29 136b14 139l9 139t11 467s26 467s42 539s61
59m18 A{40M12} 136b18 138r14
59m29 B{44M12} 136b29 138r25
63V14 "rem"{40M12} 63>20 63>31 145b14 148l9 148t13 465s26 468s22
63m20 A{40M12} 145b20 147r14
63m31 B{44M12} 145b31 147r27
67V14 "&"{40M12} 67>18 67>22 104b14 107l9 107t11 226s21 340s21 432s26 464s25
. 465s35 467s33 473s20 519s34 521s30 523s30 539s48 570s23 571s35
67m18 Hi{44M12} 104b18 106r33
67m22 Lo{44M12} 104b22 106r52
71V13 Le3{boolean} 71>18 71>22 71>26 71>38 71>42 71>46 276b13 289l8 289t11
. 553s26
71m18 X1{44M12} 276b18 278r10 280r13
71m22 X2{44M12} 276b22 282r13 284r13
71m26 X3{44M12} 276b26 287r17
71m38 Y1{44M12} 276b38 278r15 280r18
71m42 Y2{44M12} 276b42 282r18 284r18
71m46 Y3{44M12} 276b46 287r23
74V13 Lo{44M12} 74>17 75r19 185s31 189s31 226s13 226s23 295b13 298l8 298t10
. 307s31 311s31 340s13 340s23 378s31 382s31 386s22 414s16 419s24 420s19 425s27
. 426s22 429s22 434s22 443s27 444s22 465s19 467s19 467s35 513s17 522s19 524s19
. 525s19 539s33 545s19 546s29 547s19
74m17 A{40M12} 295b17 297r21
78V13 Hi{44M12} 78>17 79r19 184s31 188s31 218s18 220s10 267b13 270l8 270t10
. 306s31 310s31 334s18 336s10 377s31 381s31 385s22 415s16 421s19 421s29 427s27
. 428s24 430s22 433s22 445s22 445s32 492s14 497s14 502s14 507s14 512s17 520s19
. 522s30 524s30 546s19 548s19 548s29
78m17 A{40M12} 267b17 269r34
82U14 Sub3 82=20 82=24 82=28 82>47 82>51 82>55 555s16 560s13 601b14 619l8
. 619t12
82m20 X1{44M12} 601b20 605m13 605r19 614m10 614r16 618m7 618r13
82m24 X2{44M12} 601b24 604r13 608m10 608r16 613r15 617m7 617r13
82m28 X3{44M12} 601b28 603r15 611m7 611r13
82m47 Y1{44M12} 601b47 618r18
82m51 Y2{44M12} 601b51 613r10 617r18
82m55 Y3{44M12} 601b55 603r10 611r18
85V13 To_Neg_Int{6|44I12} 85>25 346s20 352s20 587s51 592s15 593s30 647b13
. 656l8 656t18
85m25 A{40M12} 647b25 648r38
91V13 To_Pos_Int{6|44I12} 91>25 344s20 350s20 586s15 587s30 593s51 662b13
. 671l8 671t18
91m25 A{40M12} 662b25 663r37
96U14 Raise_Error 97r22 169s7 197s10 235s10 318s13 337s10 362b14 365l8 365t19
. 459s13 474s10 640s7 654s10 669s10
155i7 R{6|44I12} 159r27 160r20 164r27 165r20
181m7 Xu{40M12} 240r13 241r13
182m7 Yu{40M12} 184r35 185r35 196r10
184m7 Yhi{44M12} 204r10 210r19
185m7 Ylo{44M12} 214r34 217r13
187m7 Zu{40M12} 188r35 189r35 196r25
188m7 Zhi{44M12} 205r13 214r20 214r40
189m7 Zlo{44M12} 210r25 217r19
191m7 T1{40M12} 217m7 218r22 226r27
191m11 T2{40M12} 210m13 214m10 218m7 218r13 220r14 226r17
192m7 Du{40M12} 226m7 234r35 240r18 241r20 245r31
192m11 Qu{40M12} 240m7 246m10 246r16 253r40 253r58 259r41 259r58
192m15 Ru{40M12} 241m7 245r25 252r23 258r24
193b7 Den_Pos{boolean} 230m7 234r55 253r19 259r19
305m7 Xu{40M12} 306r35 307r35
306m7 Xhi{44M12} 316r10 320r19
307m7 Xlo{44M12} 324r16 333r13
309m7 Yu{40M12} 310r35 311r35
310m7 Yhi{44M12} 317r13 323r13 324r22
311m7 Ylo{44M12} 320r25 333r19
313m7 T1{40M12} 333m7 334r22 340r27
313m11 T2{40M12} 320m13 324m10 327m10 334m7 334r13 336r14 340m7 340r17 344r32
. 346r32 350r32 352r32
376m7 Xu{40M12} 377r35 378r35
377m7 Xhi{44M12} 423r13 424r19 432r44 441r13 442r19
378m7 Xlo{44M12} 413r13 418r16
380m7 Yu{40M12} 381r35 382r35
381m7 Yhi{44M12} 417r10 418r22 432r50
382m7 Ylo{44M12} 413r19 424r25 442r25
384m7 Zu{40M12} 385r26 386r26 473r32 489m13 489r31 492r18 494m13 494r31 497r18
. 499m13 499r31 502r18 504m13 504r31 507r18 509m13 509r31 512r21 513r21 572m10
. 572r29 577r31
385m7 Zhi{44M12} 457r10 487r14 512m10 537r43 539r63 544r32 555r37
386m7 Zlo{44M12} 458r41 465r30 467r28 467r44 468r26 513m10 543r32 555r42
388a7 D(44M12) 414m7 415m7 419r16 420m10 421m10 425r19 426m13 427r19 429m13
. 430m13 432r20 432r28 433m13 434m13 437m13 443r19 444m13 445m13 448m13 451m10
. 458r13 458r32 464r19 464r27 465r37 473r14 473r22 519r28 519r36 520m10 521r32
. 522m10 523r32 524m10 525m10 537r31 539r38 539r50 553r43 553r54 553r65 560m19
. 560r19 560m30 560r30 560m41 560r41 571r29 571r37
391a7 Qd(44M12) 537m13 543r19 544r19 554m16 554r30 570r16 570r25
394m7 S1{44M12} 548m13 553r31 555m22 555r22 560r52
394m11 S2{44M12} 547m13 553r35 555m26 555r26 560r56
394m15 S3{44M12} 545m13 553r39 555m30 555r30 560r60
397m7 Qu{40M12} 467m13 570m10 578m10 578r16 587r42 587r63 593r42 593r63
398m7 Ru{40M12} 468m13 571m10 577r25 586r27 592r27
401i7 Scale{natural} 485m10 488m13 493m13 493r22 498m13 498r22 503m13 503r22
. 508m13 508r22 519r43 521r39 523r39 571r44 572r33
407m7 T1{40M12} 413m7 414r20 415r20 418m10 419r28 421r23 424m13 425r31 427r31
. 432m13 433r26 434r26 442m13 443r31 445r26 464m13 465r23 467r23 519m10 520r23
. 522r23 543m13 545r23 546m13 546r23 547r23 548r23
407m11 T2{40M12} 419m10 420r23 421r33 425m13 426r26 428r28 443m13 444r26
. 445r36 465m13 467r39 468r19 521m10 522r34 524r23 544m13 546r33 548r33
407m15 T3{40M12} 427m13 428m13 428r19 429r26 430r26 523m10 524r34 525r23
529i14 J{integer} 537r17 537r34 539r41 539r53 543r23 544r23 553r46 553r57
. 553r68 554r20 554r34 560r22 560r33 560r44
626i7 R{6|44I12} 630r27 631r20 635r28 636r20
648i7 R{6|44I12} 651r10 652r17
663i7 R{6|44I12} 666r10 667r17