libgnatprj6-dev-armhf-cross 6.3.0-18cross1 / usr / lib / gcc-cross / arm-linux-gnueabihf / 6 / adalib / gnatprj / prj-attr.ali

V "GNAT Lib v6"
A -nostdinc
A -O2
A -fPIC
A -g
A -gnatn
A -march=armv7-a
A -mfloat-abi=hard
A -mfpu=vfpv3-d16
A -mthumb
A -mtls-dialect=gnu
P SS ZX

RN
RV NO_ALLOCATORS
RV NO_ENUMERATION_MAPS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_IMPLICIT_LOOPS
RV NO_LOCAL_ALLOCATORS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_ELABORATION_CODE
RV SPARK_05

U prj.attr%b		prj-attr.adb		4f79950a OO PK
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W gnat%s		gnat.ads		gnat.ali
W gnat.case_util%s	g-casuti.adb		g-casuti.ali
W interfaces%s		interfac.ads		interfac.ali
W osint%s		osint.adb		osint.ali
W prj%s			prj.adb			prj.ali
W prj.com%s		prj-com.ads		prj-com.ali
W system%s		system.ads		system.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W system.val_enum%s	s-valenu.adb		s-valenu.ali

U prj.attr%s		prj-attr.ads		9a9294b5 EE OO PK
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W gnat%s		gnat.ads		gnat.ali
W gnat.strings%s	g-string.ads		g-string.ali
W interfaces%s		interfac.ads		interfac.ali
W prj%s			prj.adb			prj.ali
W system%s		system.ads		system.ali
W table%s		table.adb		table.ali  AD

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-except.ads		20151016123252 291912d5 ada.exceptions%s
D a-finali.ads		20151020095656 bf4f806b ada.finalization%s
D a-stream.ads		20141120112812 119b8fb3 ada.streams%s
D a-tags.ads		20151016130316 01f5e3ef ada.tags%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 casing.ads		20140717063745 5c2a7161 casing%s
D debug.ads		20151112115918 3ea59655 debug%s
D gnat.ads		20140801083227 fd2ad2f1 gnat%s
D g-casuti.ads		20110801150502 0f32eb76 gnat.case_util%s
D g-dynhta.ads		20141031105956 97389d1d gnat.dynamic_htables%s
D g-dyntab.ads		20151020120548 07ce153b gnat.dynamic_tables%s
D g-dyntab.adb		20140521105248 008c9b78 gnat.dynamic_tables%b
D g-hesorg.ads		20110801150502 106922da gnat.heap_sort_g%s
D g-os_lib.ads		20090409150019 0db74523 gnat.os_lib%s
D g-string.ads		20090409150019 c6abc540 gnat.strings%s
D hostparm.ads		20140801100131 a20ca6cf hostparm%s
D interfac.ads		20151118101227 4be8ce1b interfaces%s
D namet.ads		20151027115429 fa2d8adb namet%s
D opt.ads		20151123112034 ee330e6c opt%s
D osint.ads		20151026112632 ebea51fe osint%s
D output.ads		20151112132540 05f6116c output%s
D prj.ads		20160211235354 5a0845a2 prj%s
D prj-attr.ads		20140804095501 e598f841 prj.attr%s
D prj-attr.adb		20151020122452 e773f33f prj.attr%b
D prj-com.ads		20090407150127 a94a24fc prj.com%s
D scans.ads		20140731100213 8f94e6cc scans%s
D system.ads		20151123113124 2a1dd890 system%s
D s-casuti.ads		20140225151544 240969d7 system.case_util%s
D s-conca2.ads		20140225151544 02a0d7d0 system.concat_2%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-finmas.ads		20151016130316 7811a767 system.finalization_masters%s
D s-finroo.ads		20120426095924 4ff27390 system.finalization_root%s
D s-memory.ads		20140225151139 597d6634 system.memory%s
D s-os_lib.ads		20151118101046 53e9e388 system.os_lib%s
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
D s-pooglo.ads		20151118103153 ede33ef8 system.pool_global%s
D s-secsta.ads		20140225151139 86a2856d system.secondary_stack%s
D s-soflin.ads		20151020124036 14e1eb6c system.soft_links%s
D s-stache.ads		20140225151139 a37c21ec system.stack_checking%s
D s-stalib.ads		20151112104907 09bd3940 system.standard_library%s
D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
D s-stopoo.ads		20131010103753 b16154c2 system.storage_pools%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-valenu.ads		20090409150019 bb1a4295 system.val_enum%s
D s-wchcon.ads		20140718092328 1b7d22d2 system.wch_con%s
D table.ads		20151020120548 e3a9ec16 table%s
D table.adb		20141107135941 9716557f table%b
D tree_io.ads		20140718093624 6de0ef2c tree_io%s
D types.ads		20151112132540 9edbaea9 types%s
D uintp.ads		20170517143616 f3f1d794 uintp%s
D unchconv.ads		20070406091342 ca2f9e18 unchecked_conversion%s
D unchdeal.ads		20070406091342 214516a4 unchecked_deallocation%s
D urealp.ads		20130411125352 e500ee51 urealp%s
X 11 gnat.ads
34K9*GNAT 37e9 26|33r6 37r38 27|29r6 29r26 33r8
X 12 g-casuti.ads
43K14*Case_Util 77e19 27|29w11 29r31
67U14*To_Lower=68:31 27|755s7
X 18 g-string.ads
38K14*Strings=38:37 26|33w11 37r43 27|405r50 425r33 426r30 802r38
X 21 namet.ads
152a4*Name_Buffer{string} 27|755m17 755r17
158i4*Name_Len{natural} 27|753m7 755r35
180I9*Name_Id<integer> 26|148r21 182r70 252r40 327r24 352r26 27|414r47 471r70
. 485r21 513r27 514r27 751r47 811r40 841r25 921r18 967r20 968r20
184i4*No_Name{180I9} 27|474r17 513r48 514r48 530r28
321U14*Add_Str_To_Name_Buffer 27|754s7
362V13*Get_Name_String{string} 27|535s13 588s34 692s25 872s21 960s25 1044s25
489V13*Name_Find{180I9} 27|756s14
X 23 osint.ads
44K9*Osint 790e10 27|26w6 572r22 626r22 633r22 688r22 711r22 885r42 1010r25
92b4*File_Names_Case_Sensitive{boolean} 27|626r28 633r28 885r48 1010r31
155U14*Fail 27|572s28 688s28 711s28
X 25 prj.ads
42K9*Prj 2135e8 26|35r9 367r5 27|27r6 27r19 31r14 1106r5
84E9*Attribute_Default_Value 90e21 26|110r17 198r45 245r28 333r24 27|442r45
. 518r27 685r30 839r28
85n7*Read_Only_Value{84E9} 27|652r27
86n7*Empty_Value{84E9} 26|110r44 245r55 27|446r17 648r24 839r55
183E9*Variable_Kind 183e51 26|187r45 193r19 328r24 27|510r27 1067r19 1080r45
183n27*Undefined{183E9} 27|510r48 1084r17
183n38*List{183E9} 27|599r34 603r36
183n44*Single{183E9} 27|591r34 595r34
186E12*Defined_Variable_Kind{183E9} 26|107r18 242r28 27|836r28
1497X4*Project_Error 27|849r16 856r16 875r19 976r16 986r19 1001r22
X 26 prj-attr.ads
35K13*Attr 25|42k9 26|266E4 367l9 367e13 27|31b18 515r48 1106l9 1106t13
37V13*Package_Name_List{46|54A9} 27|802b13 805l8 805t25
42U14*Initialize 27|504b14 736l8 736t18
47E9*Attribute_Kind 67e5 72r38 77r54 156r45 178r19 330r24 27|457r45 512r27
. 844r25 971r20 1053r19
48n7*Unknown{47E9} 27|461r17
51n7*Single{47E9} 73r12 27|512r48 617r32
54n7*Associative_Array{47E9} 27|620r32 627r35 887r18 1013r21
57n7*Optional_Index_Associative_Array{47E9} 27|634r35 890r18 1016r21
61n7*Case_Insensitive_Associative_Array{47E9} 78r6 27|623r32 629r35 888r34
. 1014r32
64n7*Optional_Index_Case_Insensitive_Associative_Array{47E9} 73r22 79r6 27|637r24
. 892r18 1018r21
72E12*Defined_Attribute_Kind{47E9} 92r20 241r28 27|835r28
77E12*All_Case_Insensitive_Associative_Array{47E9}
82N4*Max_Attribute_Name_Length 86r26
85I12*Attribute_Name_Length{positive} 88r39
88R9*Attribute_Data 88d25 114e14 118r62
88i25*Name_Length{85I12} 89r27
89a7*Name{string} 27|991r54 997r43
92e7*Attr_Kind{72E12} 27|1007r42
95b7*Index_Is_File_Name{boolean} 27|1009r32
101b7*Opt_Index{boolean} 27|1029r50
107e7*Var_Kind{25|186E12} 27|1028r50
110e7*Default{25|84E9} 27|1033r50
118A9*Attribute_Data_Array(88R9)<integer> 128r20 27|965r20
126U14*Register_New_Package 127>7 128>7 27|963b14 1045l8 1045t28
127a7 Name{string} 27|964b7 974r10 979r31 984r21 999r24
128a7 Attributes{118A9} 27|965b7 990r20 991r35 997r24 1007r23 1009r13 1028r31
. 1029r31 1033r31
138R9*Attribute_Node_Id 141r31 144r31 149r21 149r47 156r19 177r19 182r44
. 187r19 192r19 198r19 202r44 206r39 209r15 209r41 215r45 257r37 276c9 278e14
. 283r31 287r39 290r31 27|442r19 457r19 471r44 486r21 486r47 742r39 764r15
. 764r41 778r44 788r19 1052r19 1066r19 1080r19 1095r37
141r4*Empty_Attribute{138R9} 283c4 27|445r22 460r22 473r22 767r18 768r17
. 780r22 791r22 1056r23 1070r23 1083r22 1099r17
144r4*Attribute_First{138R9} 290c4
147V13*Attribute_Node_Id_Of{138R9} 148>7 149>7 27|484b13 498l8 498t28
148i7 Name{21|180I9} 27|485b7 492r43
149r7 Starting_At{138R9} 27|486b7 488r28
155V13*Attribute_Kind_Of{47E9} 156>7 27|456b13 465l8 465t25
156r7 Attribute{138R9} 27|457b7 460r10 463r30
176U14*Set_Attribute_Kind_Of 177>7 178>7 27|1051b14 1059l8 1059t29
177r7 Attribute{138R9} 27|1052b7 1056r10 1057r23
178e7 To{47E9} 27|1053b7 1057r53
182V13*Attribute_Name_Of{21|180I9} 182>32 27|471b13 478l8 478t25
182r32 Attribute{138R9} 27|471b32 473r10 476r30
186V13*Variable_Kind_Of{25|183E9} 187>7 27|1079b13 1088l8 1088t24
187r7 Attribute{138R9} 27|1080b7 1083r10 1086r30
191U14*Set_Variable_Kind_Of 192>7 193>7 27|1065b14 1073l8 1073t28
192r7 Attribute{138R9} 27|1066b7 1070r10 1071r23
193e7 To{25|183E9} 27|1067b7 1071r52
197V13*Attribute_Default_Of{25|84E9} 198>7 27|441b13 450l8 450t28
198r7 Attribute{138R9} 27|442b7 445r10 448r30
202V13*Optional_Index_Of{boolean} 202>32 27|778b13 785l8 785t25
202r32 Attribute{138R9} 27|778b32 780r10 783r30
206V13*Is_Read_Only{boolean} 206>27 27|742b13 745l8 745t20
206r27 Attribute{138R9} 27|742b27 744r27
208V13*Next_Attribute{138R9} 209>7 27|763b13 772l8 772t22
209r7 After{138R9} 27|764b7 767r10 770r40
215V13*Others_Allowed_For{boolean} 215>33 27|787b13 796l8 796t26
215r33 Attribute{138R9} 27|788b7 791r10 794r30
222R9*Package_Node_Id 225r29 228r31 231r60 240r28 252r56 257r13 306c9 308e14
. 312r31 314r31 317r38 320r29 27|811r56 834r28 920r60 1095r13
225r4*Empty_Package{222R9} 312c4 27|825r14 852r23 927r16 939r22 1098r16
228r4*Unknown_Package{222R9} 314c4 27|818r23 1098r44
231U14*Register_New_Package 231>36 231<51 27|920b14 961l8 961t28
231a36 Name{string} 27|920b36 925r10 931r31 937r24
231r51 Id{222R9} 27|920b51 927m10 939m16 944m16 952m10 955r33
238U14*Register_New_Attribute 239>7 240>7 241>7 242>7 243>7 244>7 245>7 27|832b14
. 914l8 914t30
239a7 Name{string} 27|833b7 847r10 854r18 859r32 870r21
240r7 In_Package{222R9} 27|834b7 852r10 862r35 873r49 912r33
241e7 Attr_Kind{72E12} 27|835b7 881r25 886r15
242e7 Var_Kind{25|186E12} 27|836b7 904r28
243b7 Index_Is_File_Name{boolean} 27|837b7 885r10
244b7 Opt_Index{boolean} 27|838b7 905r28
245e7 Default{25|84E9} 27|839b7 909r28
252V13*Package_Node_Id_Of{222R9} 252>33 27|811b13 826l8 826t26
252i33 Name{21|180I9} 27|811b33 814r53
256V13*First_Attribute_Of{138R9} 257>7 27|1094b13 1104l8 1104t26
257r7 Pkg{222R9} 27|1095b7 1098r10 1098r38 1102r48
266N4 Attributes_Initial 342r48
267N4 Attributes_Increment 343r48
269N4 Attribute_Node_Low_Bound 273r12 277r31 281r42 285r47
270N4 Attribute_Node_High_Bound 273r40
272I9 Attr_Node_Id<integer> 277r15 281r26 285r31 334r24 340r48 354r26 27|488r12
. 508r27 515r27 842r25 843r25 969r20 970r20
277i7*Value{272I9} 283m53 288m33 27|448r40 463r40 476r40 488r40 497m15 744r37
. 770m18 770r46 783r40 794r40 1057r33 1071r33 1086r40 1102m13
281i4 Empty_Attr{272I9} 283r62 27|491r19 508r48 579r37 585r39 698r36 730r34
. 842r41 867r26 958r30 969r36 994r29
285i4 First_Attribute{272I9} 288r42 341r48 27|515r53
287r4 First_Attribute_Node_Id{138R9} 290r52
296N4 Packages_Initial 362r48
297N4 Packages_Increment 363r48
299N4 Package_Node_Low_Bound 303r12 307r30 311r50 315r50
300N4 Package_Node_High_Bound 303r38 313r50
302I9 Pkg_Node_Id<integer> 307r15 311r31 313r31 315r31 360r48 27|507r27
307i7*Value{302I9} 312m51 314m51 318m32 27|816m24 862r46 873r60 912r44 944m23
. 952m17 955r36 1102r52
311i4 Empty_Pkg{302I9} 312r60 27|507r48 701r38
313i4 Unknown_Pkg{302I9} 314r60
315i4 First_Package{302I9} 318r41 361r48 27|570r29
317r4 First_Package_Node_Id{222R9} 320r48
320r4 Package_First{222R9}
326R9 Attribute_Record 335e14 339r48
327i7*Name{21|180I9} 27|476r47 492r35 710r59 723m16 868r37 903m10 995r40
. 1027m13
328e7*Var_Kind{25|183E9} 27|724m16 904m10 1028m13 1071m40 1086r47
329b7*Optional_Index{boolean} 27|725m16 783r47 905m10 1029m13
330e7*Attr_Kind{47E9} 27|463r47 726m16 906m10 1030m13 1057m40
331b7*Read_Only{boolean} 27|727m16 744r44 907m10 1031m13
332b7*Others_Allowed{boolean} 27|728m16 794r47 908m10 1032m13
333e7*Default{25|84E9} 27|448r47 729m16 909m10 1033m13
334i7*Next{272I9} 27|494r33 717m48 730m16 770r53 878r47 910m10 1004r50 1034m13
338K12 Attrs[51|55] 27|448r17 463r17 476r17 492r18 494r16 550r7 696r13 699r35
. 703r24 709r48 710r39 717r16 718r18 721r34 722r13 744r14 770r27 783r17 794r17
. 868r13 878r23 901r7 902r7 902r20 913r9 995r16 1004r26 1025r10 1026r10 1026r23
. 1035r24 1057r10 1071r10 1086r17
351R9 Package_Record 355e14 359r48
352i7*Name{21|180I9} 27|571r70 583m19 814r46 873r67 934r46 956m10 982r46
. 1040m10
353b7*Known{boolean} 27|584m19 815r49 935r49 957m10 1041m10
354i7*First_Attribute{272I9} 27|585m19 702m62 862r53 912m51 958m10 1042m10
. 1102r59
358K12 Package_Attributes[51|55] 27|551r7 570r46 571r37 580r16 581r35 582r16
. 702r19 813r20 813r48 814r13 815r16 862r9 873r23 912r7 933r20 933r48 934r13
. 935r16 951r10 952r26 955r7 981r20 981r48 982r13 1038r7 1039r7 1039r33 1102r22
X 27 prj-attr.adb
70a4 Initialization_Data{string} 505r48 553r13 555r15 563r22 568r30 573r36
. 615r18 650r16 655r19 662r19 664r19 670r27 672r16 676r22 682r36 712r36
402b4 Initialized{boolean} 544r10 735m7
405p4 Package_Names{37|88P12} 423r30 426r56 428r23 428r47 429m13 434r7 804r14
406i4 Last_Package_Name{natural} 423r10 433m7 433r28 434r22 804r34
411U14 Add_Package_Name 411>32 421b14 435l8 435t24 588s16 960s7 1044s7
411a32 Name{string} 421b32 434r56
414V13 Name_Id_Of{21|180I9} 414>25 568s18 670s15 751b13 757l8 757t18 859s20
. 931s19 979s19 991s23
414a25 Name{string} 751b25 754r31
425p13 New_List{46|55P9} 428r13 429r30
488i7 Id{26|272I9} 491r13 492r31 494m10 494r29 497r24
505i7 Start{positive} 506r48 553r34 555r36 560m16 560r25 562r26 568r51 573r57
. 586m16 614m13 614r22 615r39 644m13 644r22 650r37 653m16 653r25 655r40 657m16
. 657r25 660r23 670r48 673m16 675r26 682r57 712r57 731m13
506i7 Finish{positive} 562m16 563r43 564m19 564r29 568r60 573r66 586r25 660m13
. 662r40 664r40 666m16 666r26 670r57 672r37 673r25 675m16 676r43 677m19 677r29
. 682r66 712r66 731r22
507i7 Current_Package{26|302I9} 581m16 582r42 701r19 702r45
508i7 Current_Attribute{26|272I9} 579m16 698r16 717r29 721m13 722r26
509b7 Is_An_Attribute{boolean} 554m10 578m16 610r13
510e7 Var_Kind{25|183E9} 591m16 595m16 599m16 603m16 724r34
511b7 Optional_Index{boolean} 592m16 596m16 600m16 604m16 725r34
512e7 Attr_Kind{26|47E9} 617m19 620m19 623m19 627m22 629m22 634m22 636m22
. 726r34
513i7 Package_Name{21|180I9} 530r13 535r30 567m16 571r22 583r39 588r51
514i7 Attribute_Name{21|180I9} 669m13 692r42 710r22 723r34
515i7 First_Attribute{26|272I9} 699m16 709r29
516b7 Read_Only{boolean} 646m13 651m16 727r34
517b7 Others_Allowed{boolean} 647m13 656m16 728r34
518e7 Default{25|84E9} 648m13 652m16 685m19 729r34
520V16 Attribute_Location{string} 528b16 537l11 537t29 713s47
570i20 Index<integer> 571r63
681a19 Default_Name{string} 685r61 690r25
709i20 Index<integer> 710r52
813i11 Index<integer> 814r39 815r42 816r33
841i7 Attr_Name{21|180I9} 859m7 868r44 903r28
842i7 First_Attr{26|272I9} 861m7 866r20 910r28
843i7 Curr_Attr{26|272I9} 866m7 867r13 868r26 878m10 878r36
844e7 Real_Attr_Kind{26|47E9} 881m7 888m16 891m16 906r28
921i7 Pkg_Name{21|180I9} 931m7 934r53 956r30 960r42
922b7 Found{boolean} 943m16 950r14
933i11 Index<integer> 934r39 935r42 944r32
967i7 Pkg_Name{21|180I9} 979m7 982r53 1040r30 1044r42
968i7 Attr_Name{21|180I9} 991m10 995r47 1027r31
969i7 First_Attr{26|272I9} 993r23 1034r31 1035m10 1042r30
970i7 Curr_Attr{26|272I9} 993m10 994r16 995r29 1004m13 1004r39
971e7 Attr_Kind{26|47E9} 1007m10 1012r18 1014m19 1017m19 1030r31
981i11 Index<integer> 982r39
990i11 Index{integer} 991r47 997r36 1007r35 1009r25 1028r43 1029r43 1033r43
X 28 prj-com.ads
31K13*Com 27|27w10 27r23 28|40e12
33P9*Fail_Proc
35p4*Fail{33P9} 27|848r10 853r10 869r13 926r10 936r16 975r10 983r13 996r16
X 30 system.ads
67M9*Address
X 36 s-memory.ads
53V13*Alloc{30|67M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{30|67M9} 105i<c,__gnat_realloc>22
X 37 s-os_lib.ads
88P12*String_List_Access{46|55P9} 27|405r24
X 46 s-string.ads
45P9*String_Access(string)
54A9*String_List(45P9)<integer> 26|37r51 27|405r58 426r38 802r46
55P9*String_List_Access(54A9) 27|425r41
X 51 table.ads
43K9*Table 26|31w6 339r11 359r11 51|238e10
47+12 Table_Component_Type 26|339r24 359r24
48I12 Table_Index_Type 26|340r24 360r24
50*7 Table_Low_Bound{48I12} 26|341r24 361r24
51i7 Table_Initial{54|65I12} 26|342r24 362r24
52i7 Table_Increment{54|62I12} 26|343r24 363r24
53a7 Table_Name{string} 26|344r24 364r24
55k12*Table 26|339r17 359r17 51|237e13
106A12*Table_Type(26|326R9)<26|272I9>
109A15*Big_Table_Type{106A12[26|338]}<26|272I9>
117P12*Table_Ptr(109A15[26|338])
121p7*Table{117P12[26|338]} 27|448r23[26|338] 463r23[26|338] 476r23[26|338]
. 492r24[26|338] 494r22[26|338] 571r56[26|358] 582r35[26|358] 702r38[26|358]
. 710r45[26|338] 717r22[26|338] 722r19[26|338] 744r20[26|338] 770r33[26|338]
. 783r23[26|338] 794r23[26|338] 814r32[26|358] 815r35[26|358] 862r28[26|358]
. 868r19[26|338] 873r42[26|358] 878r29[26|338] 902r13[26|338] 912r26[26|358]
. 934r32[26|358] 935r35[26|358] 955r26[26|358] 982r32[26|358] 995r22[26|338]
. 1004r32[26|338] 1026r16[26|338] 1039r26[26|358] 1057r16[26|338] 1071r16[26|338]
. 1086r23[26|338] 1102r41[26|358]
138U17*Init 27|550s13[26|338] 551s26[26|358]
145V16*Last{26|302I9} 27|570s65[26|358] 581s54[26|358] 699s41[26|338] 703s30[26|338]
. 709s54[26|338] 718s24[26|338] 721s40[26|338] 813s67[26|358] 902s26[26|338]
. 913s15[26|338] 933s67[26|358] 952s45[26|358] 981s67[26|358] 1026s29[26|338]
. 1035s30[26|338] 1039s52[26|358]
162i7*First{26|302I9} 27|813r39[26|358] 933r39[26|358] 981r39[26|358]
174U17*Increment_Last 27|580s35[26|358] 696s19[26|338] 901s13[26|338] 951s29[26|358]
. 1025s16[26|338] 1038s26[26|358]
X 54 types.ads
59I9*Int<integer>
62I12*Nat{59I9}
65I12*Pos{59I9}