V "GNAT Lib v5"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -mtune=i486
A -march=i486
P

RN
RV NO_ACCESS_SUBPROGRAMS
RV NO_ENUMERATION_MAPS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_ELABORATION_CODE
RV NO_OBSOLESCENT_FEATURES
RV SPARK_05

U targparm%b		targparm.adb		1b21c34e OO PK
W ada.exceptions%s	a-except.adb		a-except.ali
W csets%s		csets.adb		csets.ali
W opt%s			opt.adb			opt.ali
W osint%s		osint.adb		osint.ali
W output%s		output.adb		output.ali
W system%s		system.ads		system.ali
W system.img_enum_new%s	s-imenne.adb		s-imenne.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali

U targparm%s		targparm.ads		2e37a44a EE OO PK
W namet%s		namet.adb		namet.ali
W rident%s		rident.ads		rident.ali
W types%s		types.adb		types.ali

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-except.ads		20140730140058 047121f5 ada.exceptions%s
D a-unccon.ads		20070406091342 f9eb8f06 ada.unchecked_conversion%s
D a-uncdea.ads		20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D alloc.ads		20150107084147 61013b91 alloc%s
D csets.ads		20140122165324 e948558f csets%s
D hostparm.ads		20140801100131 a20ca6cf hostparm%s
D namet.ads		20150302110329 53fa811d namet%s
D opt.ads		20150302110329 e5e8f770 opt%s
D osint.ads		20140804124756 38aa0095 osint%s
D output.ads		20140801093848 2d9479ad output%s
D rident.ads		20120712104910 770cd2d0 rident%s
D system.ads		20141030114420 57068cbf system%s
D s-conca2.ads		20140225151544 02a0d7d0 system.concat_2%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-imenne.ads		20140225151139 614c06c0 system.img_enum_new%s
D s-os_lib.ads		20150220113817 5853d835 system.os_lib%s
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
D s-rident.ads		20140717070432 57110bac system.rident%s
D s-soflin.ads		20140801100131 aa763b52 system.soft_links%s
D s-stache.ads		20140225151139 a37c21ec system.stack_checking%s
D s-stalib.ads		20150220094550 fa0a3617 system.standard_library%s
D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
D s-string.ads		20140225151139 8fe54fb7 system.strings%s
D s-traent.ads		20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads		20140731130224 9d58a4c0 system.unsigned_types%s
D s-wchcon.ads		20140718092328 1b7d22d2 system.wch_con%s
D table.ads		20090506081141 e3a9ec16 table%s
D targparm.ads		20150106095149 69576d49 targparm%s
D targparm.adb		20140801135430 6be875c0 targparm%b
D types.ads		20150130153101 63969ace types%s
D unchconv.ads		20070406091342 ca2f9e18 unchecked_conversion%s
D unchdeal.ads		20070406091342 214516a4 unchecked_deallocation%s
X 6 csets.ads
32K9*Csets 97e10 30|26w6 26r20
44A9*Translate_Table(character)<character>
83a4*Fold_Upper{44A9} 30|271r25 298r25
X 8 namet.ads
38K9*Namet 707e10 29|72w6 72r18
151a4*Name_Buffer{string} 30|167m7
157i4*Name_Len{natural} 30|168m7 536m13 576m13
179I9*Name_Id<integer> 29|149r30 161r37
183i4*No_Name{179I9} 29|149r41 161r48
415V13*Name_Find{179I9} 30|170s25
430V13*Name_Enter{179I9} 30|564s43 592s50
489U14*Add_Char_To_Name_Buffer 30|547s16 580s16
X 9 opt.ads
50K9*Opt 2285e8 30|27w6 27r20 213r7 236r13 246r13 247r13 431r13 438r13 445r13
. 446r13 453r13 454r13 463r13 464r13 471r13 478r13 479r13 488r13 497r13 498r13
180b4*Address_Is_Private{boolean} 30|213m11 236m17
467b4*Detect_Blocking{boolean} 30|431m17
568b4*Exception_Locations_Suppressed{boolean} 30|488m17
735b4*Global_Discard_Names{boolean} 30|438m17
816b4*Init_Or_Norm_Scalars{boolean} 30|454m17
979e4*Locking_Policy{character} 30|247m17 445m17
985i4*Locking_Policy_Sloc{31|212I12} 30|446m17
1102b4*Normalize_Scalars{boolean} 30|453m17
1187e4*Partition_Elaboration_Policy{character} 30|463m17
1193i4*Partition_Elaboration_Policy_Sloc{31|212I12} 30|464m17
1208b4*Polling_Required{boolean} 30|471m17
1245e4*Queuing_Policy{character} 30|478m17
1251i4*Queuing_Policy_Sloc{31|212I12} 30|479m17
1425b4*Tagged_Type_Expansion{boolean} 30|648m28 665m28
1456e4*Task_Dispatching_Policy{character} 30|246m17 497m17
1462i4*Task_Dispatching_Policy_Sloc{31|212I12} 30|498m17
X 10 osint.ads
44K9*Osint 790e10 30|28w6 28r20
413U14*Read_Source_File 30|170s7
415i7 Lo{31|212I12} 30|170r36
416i7 Hi{31|212I12} 30|170r45
417p7 Src{31|202P9} 30|170r55
X 11 output.ads
44K9*Output 227e11 30|29w6 29r20
77U14*Set_Standard_Error 30|410s13 515s13 557s16 585s16 607s22 714s13
84U14*Set_Standard_Output 30|425s13 526s13 560s16 588s16 617s22 717s13
106U14*Write_Char 30|419s16 521s16 613s25
113U14*Write_Eol 30|423s13 525s13 616s22
130U14*Write_Str 30|413s13 610s22
137U14*Write_Line 30|173s10 174s10 411s13 516s13 558s16 586s16 608s22 715s13
. 716s13
X 12 rident.ads
49K9*Rident[19|75] 29|71w6 71r18
X 19 s-rident.ads
85E9*Restriction_Id 30|267r46[12|49]
235E12*All_Boolean_Restrictions{85E9[12|49]} 30|265r30[12|49]
253E12*All_Parameter_Restrictions{85E9[12|49]} 30|288r30[12|49] 291r29[12|49]
. 739r21[12|49]
307A9*Restriction_Flags(boolean)<85E9[12|49]> 30|732r11[12|49]
308A9*Restriction_Values(natural)<85E9[12|49]> 30|733r11[12|49]
311R9*Restrictions_Info 29|125r29[12|49]
312a7*Set{307A9[12|49]} 30|279m45[12|49] 336m51[12|49] 737m36[12|49]
318a7*Value{308A9[12|49]} 30|335m51[12|49] 740m39[12|49]
352r4*No_Restrictions{311R9[12|49]} 29|125r50[12|49]
368E9*Profile_Name 30|145r44[12|49] 731r44[12|49]
371n7*Ravenscar{368E9[12|49]} 30|245r39[12|49]
372n7*Restricted{368E9[12|49]} 30|256r39[12|49]
381R9*Profile_Data
382a7*Set{307A9[12|49]} 30|732m55[12|49]
389a7*Value{308A9[12|49]} 30|733m55[12|49]
395a4*Profile_Info(381R9[12|49]) 30|732r38[12|49] 733r38[12|49]
X 29 targparm.ads
75K9*Targparm 645l5 645e13 30|31b14 746l5 746t13
125r4*Restrictions_On_Target{19|311R9[12|49]} 30|279m22 335m28 336m28 737m13
. 740m16
149i4*Run_Time_Name_On_Target{8|179I9} 30|564m16
161i4*Executable_Extension_On_Target{8|179I9} 30|592m16
203b4*AAMP_On_Target{boolean} 30|639m34
206E9*Virtual_Machine_Kind 206e64 207r16
206n34*No_VM{206E9} 207r40
206n41*JVM_Target{206E9} 30|664r41
206n53*CLI_Target{206E9} 30|647r41
207e4*VM_Target{206E9} 30|647m28 664m28
223b4*Backend_Divide_Checks_On_Target{boolean} 30|642m34
228b4*Backend_Overflow_Checks_On_Target{boolean} 30|643m34
299b4*ZCX_By_Default_On_Target{boolean} 30|686m34
315b4*Configurable_Run_Time_On_Target{boolean} 30|655m34
336b4*Suppress_Standard_Library_On_Target{boolean} 30|683m34
353b4*Preallocated_Stacks_On_Target{boolean} 30|674m34
368b4*Duration_32_Bits_On_Target{boolean} 30|656m34
383b4*Atomic_Sync_Default_On_Target{boolean} 30|641m34
396b4*Support_Aggregates_On_Target{boolean} 30|675m34
403b4*Support_Atomic_Primitives_On_Target{boolean} 30|676m34
411b4*Support_Composite_Assign_On_Target{boolean} 30|677m34
419b4*Support_Composite_Compare_On_Target{boolean} 30|678m34
426b4*Support_Long_Shifts_On_Target{boolean} 30|682m34
431b4*Support_Nondefault_SSO_On_Target{boolean}
440b4*Always_Compatible_Rep_On_Target{boolean} 30|640m34
488b4*Stack_Check_Probes_On_Target{boolean} 30|681m34
491b4*Stack_Check_Limits_On_Target{boolean} 30|680m34
497b4*Stack_Check_Default_On_Target{boolean} 30|679m34
509b4*Command_Line_Args_On_Target{boolean} 30|644m34
518b4*Exit_Status_Supported_On_Target{boolean} 30|658m34
535b4*Use_Ada_Main_Program_Name_On_Target{boolean} 30|685m34
563b4*Denorm_On_Target{boolean} 30|657m34
566b4*Machine_Rounds_On_Target{boolean} 30|673m34
569b4*Machine_Overflows_On_Target{boolean} 30|672m34
572b4*Signed_Zeros_On_Target{boolean} 30|684m34
579b4*Fractional_Fixed_Ops_On_Target{boolean} 30|660m34
594b4*Frontend_Layout_On_Target{boolean} 30|659m34
608P9*Make_Id_Type(31|384I9) 608>42 626r22 637r17 30|155r17 193r22
608a42 Str{31|147A9}
613P9*Make_SC_Type(31|384I9) 613>42 613>47 627r22 638r17 30|156r17 194r22
613i42 Pre{31|384I9}
613i47 Sel{31|384I9}
618P9*Set_RND_Type 618>43 628r22 639r17 30|157r17 195r22
618i43 Unit{31|384I9}
622U14*Get_Target_Parameters 623>7 624>7 625>7 626>7 627>7 628>7 30|178s7
. 189b14 725l8 725t29
623p7 System_Text{31|202P9} 30|179r10 190b7 226r25 230r13 235r16 242r16 253r16
. 262r16 271r37 278r22 298r37 305r22 312r28 320r51 331r31 334r31 357r16 382r28
. 384r28 389r37 399r32 415r19 417r19 419r28 429r16 436r16 443r16 445r35 451r16
. 459r16 463r49 469r16 476r16 478r35 484r16 493r16 497r44 503r16 510r16 518r19
. 519r24 521r28 531r16 537r19 539r19 541r19 543r19 545r19 547r41 551r16 552r23
. 553r24 555r24 571r16 577r19 578r24 580r41 584r16 584r47 601r19 624r25 625r30
. 632r25 636r30 703r16 703r47 708r16 708r45
624i7 Source_First{31|212I12} 30|180r10 191b7 225r12
625i7 Source_Last{31|212I12} 30|181r10 192b7 705r28 710r28 713r18
626p7 Make_Id{608P9} 30|182r10 193b7 364r19 389r28
627p7 Make_SC{613P9} 30|183r10 194b7 396r33
628p7 Set_RND{618P9} 30|184r10 195b7 403r19
636U14*Get_Target_Parameters 637>7 638>7 639>7 30|154b14 185l8 185t29
637p7 Make_Id{608P9} 30|155b7 182r26
638p7 Make_SC{613P9} 30|156b7 183r26
639p7 Set_RND{618P9} 30|157b7 184r26
X 30 targparm.adb
34b4 Parameters_Obtained{boolean} 163r10 207r10 210m10
40E9 Targparm_Tags 69e11 71r28 110r35 600r42
41n7 AAM{40E9} 639r27
42n7 ACR{40E9} 640r27
43n7 ASD{40E9} 641r27
44n7 BDC{40E9} 642r27
45n7 BOC{40E9} 643r27
46n7 CLA{40E9} 644r27
47n7 CLI{40E9} 645r27
48n7 CRT{40E9} 655r27
49n7 D32{40E9} 656r27
50n7 DEN{40E9} 657r27
51n7 EXS{40E9} 658r27
52n7 FEL{40E9} 659r27
53n7 FFO{40E9} 660r27
54n7 JVM{40E9} 662r27
55n7 MOV{40E9} 672r27
56n7 MRN{40E9} 673r27
57n7 PAS{40E9} 674r27
58n7 SAG{40E9} 675r27
59n7 SAP{40E9} 676r27
60n7 SCA{40E9} 677r27
61n7 SCC{40E9} 678r27
62n7 SCD{40E9} 679r27
63n7 SCL{40E9} 680r27
64n7 SCP{40E9} 681r27
65n7 SLS{40E9} 682r27
66n7 SNZ{40E9} 684r27
67n7 SSL{40E9} 683r27
68n7 UAM{40E9} 685r27
69n7 ZCD{40E9} 686r27
71a4 Targparm_Flags(boolean) 606r22 621m22
76a4 AAM_Str{31|191A12} 111r7
77a4 ACR_Str{31|191A12} 112r7
78a4 ASD_Str{31|191A12} 113r7
79a4 BDC_Str{31|191A12} 114r7
80a4 BOC_Str{31|191A12} 115r7
81a4 CLA_Str{31|191A12} 116r7
82a4 CLI_Str{31|191A12} 117r7
83a4 CRT_Str{31|191A12} 118r7
84a4 D32_Str{31|191A12} 119r7
85a4 DEN_Str{31|191A12} 120r7
86a4 EXS_Str{31|191A12} 121r7
87a4 FEL_Str{31|191A12} 122r7
88a4 FFO_Str{31|191A12} 123r7
89a4 JVM_Str{31|191A12} 124r7
90a4 MOV_Str{31|191A12} 125r7
91a4 MRN_Str{31|191A12} 126r7
92a4 PAS_Str{31|191A12} 127r7
93a4 SAG_Str{31|191A12} 128r7
94a4 SAP_Str{31|191A12} 129r7
95a4 SCA_Str{31|191A12} 130r7
96a4 SCC_Str{31|191A12} 131r7
97a4 SCD_Str{31|191A12} 132r7
98a4 SCL_Str{31|191A12} 133r7
99a4 SCP_Str{31|191A12} 134r7
100a4 SLS_Str{31|191A12} 135r7
101a4 SNZ_Str{31|191A12} 136r7
102a4 SSL_Str{31|191A12} 137r7
103a4 UAM_Str{31|191A12} 138r7
104a4 ZCD_Str{31|191A12} 139r7
109P9 Buffer_Ptr(31|191A12) 110r53
110a4 Targparm_Str(109P9) 601r49 602r55 604r32 612r31 613r37
145U14 Set_Profile_Restrictions 145>40 245s13 256s13 731b14 744l8 744t32
145e40 P{19|368E9[12|49]} 731b40 732r52 733r52
159p7 Text{31|202P9} 170m62 170r62 172r10 179r26
160i7 Hi{31|212I12} 170m51 181r26
197i7 P{31|212I12} 225m7 226r38 226r43 230r26 235r29 235r34 237m13 237r18
. 242r29 242r34 248m13 248r18 253r29 253r34 257m13 257r18 262r29 262r34 263m13
. 263r18 271r50 278r35 298r50 305r35 305r55 308m22 308r27 312r41 320r64 331r44
. 334r44 343m25 343r30 357r29 357r34 358m16 358r21 381r31 382r41 384r41 386m25
. 386r30 389r59 399r45 400m22 400r27 415r32 417r32 419r41 420m16 420r21 429r29
. 429r34 430m13 430r18 436r29 436r34 437m13 437r18 443r29 443r34 444m13 444r18
. 445r48 451r29 451r34 452m13 452r18 459r29 459r34 462m13 462r18 463r62 469r29
. 469r34 470m13 470r18 476r29 476r34 477m13 477r18 478r48 484r29 484r34 487m13
. 487r18 493r29 493r34 496m13 496r18 497r57 503r29 503r34 510r29 510r34 511m16
. 511r21 518r32 519r37 521r41 522m16 522r21 531r29 531r34 534m13 534r18 537r32
. 539r32 541r32 543r32 545r32 547r54 548m16 548r21 551r29 552r36 553r37 555r37
. 571r29 571r34 574m13 574r18 577r32 578r37 580r54 581m16 581r21 584r29 584r60
. 601r32 601r41 604m19 604r24 624r38 625r43 627m22 627r27 630m19 630r24 632r38
. 633m22 633r27 636r43 703r29 703r60 704m13 704r18 705r23 708r29 708r58 709m13
. 709r18 710r23 713r13
200b7 Fatal{boolean} 424m13 527m13 561m16 589m16 618m22 722r10
203b7 Result{boolean} 636m19 639r73 640r73 641r73 642r73 643r73 644r73 646r28
. 655r73 656r73 657r73 658r73 659r73 660r73 663r28 672r73 673r73 674r73 675r73
. 676r73 677r73 678r73 679r73 680r73 681r73 682r73 683r73 684r73 685r73 686r73
226l7 Line_Loop 720l16 720e25
265l13 Rloop 286l22 286e27
265e25 K{19|235E12[12|49]} 267r68 279r50
267a19 Rname{string} 270r28 272r60 278r39
270i23 J{integer} 271r66 272r67
284L15 Rloop_Continue 274r30
288l13 Ploop 340r33 347r27 353l22 353e27
288e25 K{19|253E12[12|49]} 291r63 335r58 336r56
290a19 Rname{string} 297r28 299r60 305r39 305r59 308r31
293i19 V{natural} 310m22 319m31 319r41 335r64
297i23 J{integer} 298r66 299r67
351L15 Ploop_Continue 301r30
371i19 Unit{31|384I9} 376m19 393r25 394m25 396m25 396r42 403r28
372i19 Id{31|384I9} 389m22 394r33 396r48
373i19 Start{31|212I12} 381m22 389r50
600l13 Config_Param_Loop 696l22 696e39
600e37 K{40E9} 601r63 602r69 604r46 606r38 612r45 613r51 621r38 638r24
612i26 J<31|59I9> 613r59
701L12 Line_Loop_Continue 231r18 238r18 249r18 258r18 280r27 328r39 337r33
. 365r24 404r24 432r18 439r18 447r18 455r18 465r18 472r18 480r18 489r18 499r18
. 512r21 567r18 595r18 688r27
732a7 R{19|307A9[12|49]} 735r16 736r13
733a7 V{19|308A9[12|49]} 740r52
735e11 J{19|85E9[12|49]} 736r16 737r41 739r16 740r46 740r55
X 31 types.ads
52K9*Types 29|73w6 73r18 31|942e10
59I9*Int<integer>
144I9*Text_Ptr<59I9>
147A9*Text_Buffer(character)<144I9> 29|608r48
191A12*Source_Buffer{147A9}<144I9> 30|76r31 77r31 78r31 79r31 80r31 81r31
. 82r31 83r31 84r31 85r31 86r31 87r31 88r31 89r31 90r31 91r31 92r31 93r31
. 94r31 95r31 96r31 97r31 98r31 99r31 100r31 101r31 102r31 103r31 104r31
. 109r39
202P9*Source_Buffer_Ptr(198A12) 29|623r22 30|159r14 190r22
212I12*Source_Ptr{144I9} 29|624r22 625r22 30|160r14 191r22 192r22 197r11
. 271r54 298r54 373r27
237i4*System_Location{212I12} 30|446r40 464r54 479r40 498r49
384I9*Node_Id<integer> 29|608r68 613r53 613r69 618r50 30|371r27 372r27
399i4*Empty{384I9} 30|376r27 393r32
775X4*Unrecoverable_Error 30|175r16 718r19 723r16