V "GNAT Lib v4.9" A -gnatwa A -nostdinc A -O A -O2 A -Wextra A -Wall A -g A -gnatp A -gnatg A -g A -mtune=pentium A -march=pentium P RN RV NO_FLOATING_POINT RV NO_IMPLICIT_CONDITIONALS RV NO_IMPLEMENTATION_PRAGMAS RV NO_OBSOLESCENT_FEATURES RV SPARK_05 U system.vax_float_operations%b s-vaflop.adb ebd56da9 NE OL PK W system%s system.ads system.ali W system.fat_lflt%s s-fatlfl.ads s-fatlfl.ali W system.fat_sflt%s s-fatsfl.ads s-fatsfl.ali W system.img_real%s s-imgrea.adb s-imgrea.ali W system.io%s s-io.adb s-io.ali U system.vax_float_operations%s s-vaflop.ads 721d3589 BN NE OL PK W system%s system.ads system.ali D system.ads 20160804194326 462fcf90 D s-fatgen.ads 20140129175348 9267ca45 D s-fatlfl.ads 20090409180020 378cba9f D s-fatsfl.ads 20090409180020 e2f873d3 D s-imgrea.ads 20090409180020 c7a851e2 D s-io.ads 20090409180020 9e42f74f D s-vaflop.ads 20090409180020 3432fa19 D s-vaflop.adb 20120307165340 41a560ff X 1 system.ads 42K9*System 160e11 7|35r9 181r45 182r45 183r45 247r5 8|38r6 40r14 95r7 104r7 . 113r7 123r45 136r45 149r45 353r7 362r7 371r7 503r5 69M9*Address 7|181r52 182r52 183r52 8|123r52 136r52 149r52 X 6 s-io.ads 37K16*IO 64e14 8|38w13 95r14 104r14 113r14 353r14 362r14 371r14 44U14*Put 8|95s17 104s17 113s17 45U14*Put_Line 8|353s17 362s17 371s17 X 7 s-vaflop.ads 35K16*Vax_Float_Operations 1|42k9 7|247l12 247e32 8|40b21 503l12 503t32 40F9*D 41r44 69r25 70r35 93r35 148r27 148r37 162r28 171r36 181r35 . 193r24 8|84r25 93r36 95r22 123r35 124r41 225r35 227r14 351r24 353r27 405r27 . 405r37 450r35 471r28 44F9*G 45r44 69r35 70r25 73r25 74r35 81r25 82r35 89r25 90r35 . 101r24 101r34 105r27 105r37 109r27 109r37 113r27 113r37 117r24 117r34 121r27 . 121r37 129r26 133r26 137r26 141r26 150r27 150r37 164r28 173r36 183r35 195r24 . 8|57r24 57r34 75r27 75r37 84r35 86r14 111r36 113r22 149r35 150r41 171r27 . 171r37 189r26 198r35 200r14 225r25 234r25 243r25 252r25 270r26 288r26 306r27 . 306r37 324r26 342r24 342r34 369r24 371r27 387r35 389r14 423r27 423r37 441r27 . 441r37 459r35 461r14 497r28 48F9*F 49r44 73r35 74r25 77r25 78r35 85r25 86r35 100r24 100r34 . 104r27 104r37 108r27 108r37 112r27 112r37 116r24 116r34 120r27 120r37 128r26 . 132r26 136r26 140r26 149r27 149r37 163r28 172r36 182r35 194r24 8|48r24 . 48r34 66r27 66r37 102r36 104r22 136r35 137r41 162r27 162r37 180r26 198r25 . 207r25 216r25 234r35 236r14 261r26 279r26 297r27 297r37 315r26 333r24 333r34 . 360r24 362r27 378r35 380r14 396r35 398r14 414r27 414r37 432r27 432r37 484r28 52F9*S 53r45 77r35 78r25 8|216r35 218r14 396r25 485r22 56F9*T 57r45 81r35 82r25 93r25 8|252r35 254r14 450r25 459r25 . 472r22 498r22 62I9*Q 85r35 86r25 89r35 90r25 8|207r35 209r14 243r35 . 245r14 378r25 387r25 69V13*D_To_G{44F9} 69>21 205r26 8|84b13 87l8 87t14 472s35 69f21 X{40F9} 8|84b21 86r17 70V13*G_To_D{40F9} 70>21 209r26 8|225b13 228l8 228t14 452s14 70f21 X{44F9} 8|225b21 227r17 73V13*G_To_F{48F9} 73>21 210r26 8|234b13 237l8 237t14 73f21 X{44F9} 8|234b21 236r17 74V13*F_To_G{44F9} 74>21 206r26 8|198b13 201l8 201t14 74f21 X{48F9} 8|198b21 200r17 77V13*F_To_S{52F9} 77>21 208r26 8|216b13 219l8 219t14 485s27 77f21 X{48F9} 8|216b21 218r17 78V13*S_To_F{48F9} 78>21 215r26 8|396b13 399l8 399t14 78f21 X{52F9} 8|396b21 398r17 81V13*G_To_T{56F9} 81>21 212r26 8|252b13 255l8 255t14 472s27 498s27 81f21 X{44F9} 8|252b21 254r17 82V13*T_To_G{44F9} 82>21 216r26 8|452s22 459b13 462l8 462t14 82f21 X{56F9} 8|459b21 461r17 85V13*F_To_Q{62I9} 85>21 207r26 8|207b13 210l8 210t14 85f21 X{48F9} 8|207b21 209r17 86V13*Q_To_F{48F9} 86>21 213r26 8|378b13 381l8 381t14 86i21 X{62I9} 8|378b21 380r17 89V13*G_To_Q{62I9} 89>21 211r26 8|243b13 246l8 246t14 89f21 X{44F9} 8|243b21 245r17 90V13*Q_To_G{44F9} 90>21 214r26 8|387b13 390l8 390t14 90i21 X{62I9} 8|387b21 389r17 93V13*T_To_D{40F9} 93>21 8|450b13 453l8 453t14 93f21 X{56F9} 8|450b21 452r30 100V13*Abs_F{48F9} 100>20 218r26 8|48b13 51l8 51t13 100f20 X{48F9} 8|48b20 50r18 101V13*Abs_G{44F9} 101>20 219r26 8|57b13 60l8 60t13 101f20 X{44F9} 8|57b20 59r18 104V13*Add_F{48F9} 104>20 104>23 220r26 8|66b13 69l8 69t13 104f20 X{48F9} 8|66b20 68r14 104f23 Y{48F9} 8|66b23 68r18 105V13*Add_G{44F9} 105>20 105>23 221r26 8|75b13 78l8 78t13 105f20 X{44F9} 8|75b20 77r14 105f23 Y{44F9} 8|75b23 77r18 108V13*Div_F{48F9} 108>20 108>23 223r26 8|162b13 165l8 165t13 108f20 X{48F9} 8|162b20 164r14 108f23 Y{48F9} 8|162b23 164r18 109V13*Div_G{44F9} 109>20 109>23 222r26 8|171b13 174l8 174t13 109f20 X{44F9} 8|171b20 173r14 109f23 Y{44F9} 8|171b23 173r18 112V13*Mul_F{48F9} 112>20 112>23 224r26 8|297b13 300l8 300t13 112f20 X{48F9} 8|297b20 299r14 112f23 Y{48F9} 8|297b23 299r18 113V13*Mul_G{44F9} 113>20 113>23 225r26 8|306b13 309l8 309t13 113f20 X{44F9} 8|306b20 308r14 113f23 Y{44F9} 8|306b23 308r18 116V13*Neg_F{48F9} 116>20 227r26 8|333b13 336l8 336t13 116f20 X{48F9} 8|333b20 335r15 117V13*Neg_G{44F9} 117>20 226r26 8|342b13 345l8 345t13 117f20 X{44F9} 8|342b20 344r15 120V13*Sub_F{48F9} 120>20 120>23 231r26 8|432b13 435l8 435t13 120f20 X{48F9} 8|432b20 434r14 120f23 Y{48F9} 8|432b23 434r18 121V13*Sub_G{44F9} 121>20 121>23 232r26 8|441b13 444l8 444t13 121f20 X{44F9} 8|441b20 443r14 121f23 Y{44F9} 8|441b23 443r18 128V13*Eq_F{boolean} 128>19 128>22 234r26 8|180b13 183l8 183t12 128f19 X{48F9} 8|180b19 182r14 128f22 Y{48F9} 8|180b22 182r18 129V13*Eq_G{boolean} 129>19 129>22 235r26 8|189b13 192l8 192t12 129f19 X{44F9} 8|189b19 191r14 129f22 Y{44F9} 8|189b22 191r18 132V13*Le_F{boolean} 132>19 132>22 236r26 8|261b13 264l8 264t12 132f19 X{48F9} 8|261b19 263r14 132f22 Y{48F9} 8|261b22 263r19 133V13*Le_G{boolean} 133>19 133>22 237r26 8|270b13 273l8 273t12 133f19 X{44F9} 8|270b19 272r14 133f22 Y{44F9} 8|270b22 272r19 136V13*Lt_F{boolean} 136>19 136>22 238r26 8|279b13 282l8 282t12 136f19 X{48F9} 8|279b19 281r14 136f22 Y{48F9} 8|279b22 281r18 137V13*Lt_G{boolean} 137>19 137>22 239r26 8|288b13 291l8 291t12 137f19 X{44F9} 8|288b19 290r14 137f22 Y{44F9} 8|288b22 290r18 140V13*Ne_F{boolean} 140>19 140>22 240r26 8|315b13 318l8 318t12 140f19 X{48F9} 8|315b19 317r14 140f22 Y{48F9} 8|315b22 317r19 141V13*Ne_G{boolean} 141>19 141>22 241r26 8|324b13 327l8 327t12 141f19 X{44F9} 8|324b19 326r14 141f22 Y{44F9} 8|324b22 326r19 148V13*Return_D{40F9} 148>23 228r26 8|405b13 408l8 408t16 148f23 X{40F9} 8|405b23 407r14 149V13*Return_F{48F9} 149>23 229r26 8|414b13 417l8 417t16 149f23 X{48F9} 8|414b23 416r14 150V13*Return_G{44F9} 150>23 230r26 8|423b13 426l8 426t16 150f23 X{44F9} 8|423b23 425r14 162V13*Valid_D{boolean} 162>22 243r26 8|471b13 475l8 475t15 162f22 Arg{40F9} 8|471b22 472r43 163V13*Valid_F{boolean} 163>22 244r26 8|484b13 488l8 488t15 163f22 Arg{48F9} 8|484b22 485r35 164V13*Valid_G{boolean} 164>22 245r26 8|497b13 501l8 501t15 164f22 Arg{44F9} 8|497b22 498r35 171U14*Debug_Output_D 171>30 174r24 8|93b14 96l8 96t22 171f30 Arg{40F9} 8|93b30 95r31 172U14*Debug_Output_F 172>30 175r24 8|102b14 105l8 105t22 172f30 Arg{48F9} 8|102b30 104r31 173U14*Debug_Output_G 173>30 176r24 8|111b14 114l8 114t22 173f30 Arg{44F9} 8|111b30 113r31 181V13*Debug_String_D{1|69M9} 181>29 184r24 8|123b13 130l8 130t22 181f29 Arg{40F9} 8|123b29 124r50 182V13*Debug_String_F{1|69M9} 182>29 185r24 8|136b13 143l8 143t22 182f29 Arg{48F9} 8|136b29 137r50 183V13*Debug_String_G{1|69M9} 183>29 186r24 8|149b13 156l8 156t22 183f29 Arg{44F9} 8|149b29 150r50 193U14*pd 193>18 196r24 8|351b14 354l8 354t10 193f18 Arg{40F9} 8|351b18 353r36 194U14*pf 194>18 197r24 8|360b14 363l8 363t10 194f18 Arg{48F9} 8|360b18 362r36 195U14*pg 195>18 198r24 8|369b14 372l8 372t10 195f18 Arg{44F9} 8|369b18 371r36 X 8 s-vaflop.adb 120a4 Debug_String_Buffer{string} 128m7 129m14 129r14 141m7 142m14 142r14 . 154m7 155m14 155r14 124a7 Image_String=124:55{string} 125r42 128r48 125i7 Image_Size{integer} 128r33 137a7 Image_String=137:55{string} 138r42 141r48 138i7 Image_Size{integer} 141r33 150a7 Image_String=150:55{string} 151r42 154r48 151i7 Image_Size{integer} 154r33 472f7 Val{7|56F9} 474r14 485f7 Val{7|52F9} 487r14 498f7 Val{7|56F9} 500r14