libgnatprj5-dev-arm64-cross 5.5.0-12ubuntu1cross1 / usr / lib / gcc-cross / aarch64-linux-gnu / 5 / adalib / gnatprj / prj-attr.ali

V "GNAT Lib v5"
A -nostdinc
A -O2
A -fPIC
A -g
A -gnatn
A -mlittle-endian
A -mabi=lp64
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_ELABORATION_CODE
RV SPARK_05

U prj.attr%b		prj-attr.adb		07911adb 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		f6ee51a0 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		20140730140058 5250cb69 ada.exceptions%s
D a-finali.ads		20140611123707 69f99942 ada.finalization%s
D a-stream.ads		20141120112812 119b8fb3 ada.streams%s
D a-tags.ads		20140730140058 dc4d0634 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		20090420131856 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		20140225151544 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		20141120112812 6033a23f interfaces%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 prj.ads		20150107084942 367480b7 prj%s
D prj-attr.ads		20140804095501 e598f841 prj.attr%s
D prj-attr.adb		20150107102251 7cdb2d85 prj.attr%b
D prj-com.ads		20090407150127 a94a24fc prj.com%s
D scans.ads		20140731100213 8f94e6cc scans%s
D system.ads		20141031112219 1d274481 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		20140225151139 814daec4 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		20150220113817 5853d835 system.os_lib%s
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
D s-pooglo.ads		20110804083314 542f33d0 system.pool_global%s
D s-secsta.ads		20140225151139 86a2856d system.secondary_stack%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-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		20090506081141 e3a9ec16 table%s
D table.adb		20141107135941 9716557f table%b
D tree_io.ads		20140718093624 6de0ef2c tree_io%s
D types.ads		20150130153101 63969ace types%s
D uintp.ads		20180422031413 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|737s7
X 18 g-string.ads
38K14*Strings=38:37 26|33w11 37r43 27|387r50 407r33 408r30 784r38
X 21 namet.ads
151a4*Name_Buffer{string} 27|737m17 737r17
157i4*Name_Len{natural} 27|735m7 737r35
179I9*Name_Id<integer> 26|148r21 182r70 252r40 327r24 352r26 27|396r47 453r70
. 467r21 495r27 496r27 733r47 793r40 823r25 903r18 949r20 950r20
183i4*No_Name{179I9} 27|456r17 495r48 496r48 512r28
322V13*Get_Name_String{string} 27|517s13 570s34 674s25 854s21 942s25 1026s25
415V13*Name_Find{179I9} 27|738s14
498U14*Add_Str_To_Name_Buffer 27|736s7
X 23 osint.ads
44K9*Osint 790e10 27|26w6 554r22 608r22 615r22 670r22 693r22 867r42 992r25
88b4*File_Names_Case_Sensitive{boolean} 27|608r28 615r28 867r48 992r31
151U14*Fail 27|554s28 670s28 693s28
X 25 prj.ads
42K9*Prj 2126e8 26|35r9 367r5 27|27r6 27r19 31r14 1088r5
75E9*Attribute_Default_Value 81e21 26|110r17 198r45 245r28 333r24 27|424r45
. 500r27 667r30 821r28
76n7*Read_Only_Value{75E9} 27|634r27
77n7*Empty_Value{75E9} 26|110r44 245r55 27|428r17 630r24 821r55
174E9*Variable_Kind 174e51 26|187r45 193r19 328r24 27|492r27 1049r19 1062r45
174n27*Undefined{174E9} 27|492r48 1066r17
174n38*List{174E9} 27|581r34 585r36
174n44*Single{174E9} 27|573r34 577r34
177E12*Defined_Variable_Kind{174E9} 26|107r18 242r28 27|818r28
1488X4*Project_Error 27|831r16 838r16 857r19 958r16 968r19 983r22
X 26 prj-attr.ads
35K13*Attr 25|42k9 26|266E4 367l9 367e13 27|31b18 497r48 1088l9 1088t13
37V13*Package_Name_List{46|54A9} 27|784b13 787l8 787t25
42U14*Initialize 27|486b14 718l8 718t18
47E9*Attribute_Kind 67e5 72r38 77r54 156r45 178r19 330r24 27|439r45 494r27
. 826r25 953r20 1035r19
48n7*Unknown{47E9} 27|443r17
51n7*Single{47E9} 73r12 27|494r48 599r32
54n7*Associative_Array{47E9} 27|602r32 609r35 869r18 995r21
57n7*Optional_Index_Associative_Array{47E9} 27|616r35 872r18 998r21
61n7*Case_Insensitive_Associative_Array{47E9} 78r6 27|605r32 611r35 870r34
. 996r32
64n7*Optional_Index_Case_Insensitive_Associative_Array{47E9} 73r22 79r6 27|619r24
. 874r18 1000r21
72E12*Defined_Attribute_Kind{47E9} 92r20 241r28 27|817r28
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|973r54 979r43
92e7*Attr_Kind{72E12} 27|989r42
95b7*Index_Is_File_Name{boolean} 27|991r32
101b7*Opt_Index{boolean} 27|1011r50
107e7*Var_Kind{25|177E12} 27|1010r50
110e7*Default{25|75E9} 27|1015r50
118A9*Attribute_Data_Array(88R9)<integer> 128r20 27|947r20
126U14*Register_New_Package 127>7 128>7 27|945b14 1027l8 1027t28
127a7 Name{string} 27|946b7 956r10 961r31 966r21 981r24
128a7 Attributes{118A9} 27|947b7 972r20 973r35 979r24 989r23 991r13 1010r31
. 1011r31 1015r31
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|424r19 439r19 453r44 468r21 468r47 724r39 746r15
. 746r41 760r44 770r19 1034r19 1048r19 1062r19 1077r37
141r4*Empty_Attribute{138R9} 283c4 27|427r22 442r22 455r22 749r18 750r17
. 762r22 773r22 1038r23 1052r23 1065r22 1081r17
144r4*Attribute_First{138R9} 290c4
147V13*Attribute_Node_Id_Of{138R9} 148>7 149>7 27|466b13 480l8 480t28
148i7 Name{21|179I9} 27|467b7 474r43
149r7 Starting_At{138R9} 27|468b7 470r28
155V13*Attribute_Kind_Of{47E9} 156>7 27|438b13 447l8 447t25
156r7 Attribute{138R9} 27|439b7 442r10 445r30
176U14*Set_Attribute_Kind_Of 177>7 178>7 27|1033b14 1041l8 1041t29
177r7 Attribute{138R9} 27|1034b7 1038r10 1039r23
178e7 To{47E9} 27|1035b7 1039r53
182V13*Attribute_Name_Of{21|179I9} 182>32 27|453b13 460l8 460t25
182r32 Attribute{138R9} 27|453b32 455r10 458r30
186V13*Variable_Kind_Of{25|174E9} 187>7 27|1061b13 1070l8 1070t24
187r7 Attribute{138R9} 27|1062b7 1065r10 1068r30
191U14*Set_Variable_Kind_Of 192>7 193>7 27|1047b14 1055l8 1055t28
192r7 Attribute{138R9} 27|1048b7 1052r10 1053r23
193e7 To{25|174E9} 27|1049b7 1053r52
197V13*Attribute_Default_Of{25|75E9} 198>7 27|423b13 432l8 432t28
198r7 Attribute{138R9} 27|424b7 427r10 430r30
202V13*Optional_Index_Of{boolean} 202>32 27|760b13 767l8 767t25
202r32 Attribute{138R9} 27|760b32 762r10 765r30
206V13*Is_Read_Only{boolean} 206>27 27|724b13 727l8 727t20
206r27 Attribute{138R9} 27|724b27 726r27
208V13*Next_Attribute{138R9} 209>7 27|745b13 754l8 754t22
209r7 After{138R9} 27|746b7 749r10 752r40
215V13*Others_Allowed_For{boolean} 215>33 27|769b13 778l8 778t26
215r33 Attribute{138R9} 27|770b7 773r10 776r30
222R9*Package_Node_Id 225r29 228r31 231r60 240r28 252r56 257r13 306c9 308e14
. 312r31 314r31 317r38 320r29 27|793r56 816r28 902r60 1077r13
225r4*Empty_Package{222R9} 312c4 27|807r14 834r23 909r16 921r22 1080r16
228r4*Unknown_Package{222R9} 314c4 27|800r23 1080r44
231U14*Register_New_Package 231>36 231<51 27|902b14 943l8 943t28
231a36 Name{string} 27|902b36 907r10 913r31 919r24
231r51 Id{222R9} 27|902b51 909m10 921m16 926m16 934m10 937r33
238U14*Register_New_Attribute 239>7 240>7 241>7 242>7 243>7 244>7 245>7 27|814b14
. 896l8 896t30
239a7 Name{string} 27|815b7 829r10 836r18 841r32 852r21
240r7 In_Package{222R9} 27|816b7 834r10 844r35 855r49 894r33
241e7 Attr_Kind{72E12} 27|817b7 863r25 868r15
242e7 Var_Kind{25|177E12} 27|818b7 886r28
243b7 Index_Is_File_Name{boolean} 27|819b7 867r10
244b7 Opt_Index{boolean} 27|820b7 887r28
245e7 Default{25|75E9} 27|821b7 891r28
252V13*Package_Node_Id_Of{222R9} 252>33 27|793b13 808l8 808t26
252i33 Name{21|179I9} 27|793b33 796r53
256V13*First_Attribute_Of{138R9} 257>7 27|1076b13 1086l8 1086t26
257r7 Pkg{222R9} 27|1077b7 1080r10 1080r38 1084r48
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|470r12
. 490r27 497r27 824r25 825r25 951r20 952r20
277i7*Value{272I9} 283m53 288m33 27|430r40 445r40 458r40 470r40 479m15 726r37
. 752m18 752r46 765r40 776r40 1039r33 1053r33 1068r40 1084m13
281i4 Empty_Attr{272I9} 283r62 27|473r19 490r48 561r37 567r39 680r36 712r34
. 824r41 849r26 940r30 951r36 976r29
285i4 First_Attribute{272I9} 288r42 341r48 27|497r53
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|489r27
307i7*Value{302I9} 312m51 314m51 318m32 27|798m24 844r46 855r60 894r44 926m23
. 934m17 937r36 1084r52
311i4 Empty_Pkg{302I9} 312r60 27|489r48 683r38
313i4 Unknown_Pkg{302I9} 314r60
315i4 First_Package{302I9} 318r41 361r48 27|552r29
317r4 First_Package_Node_Id{222R9} 320r48
320r4 Package_First{222R9}
326R9 Attribute_Record 335e14 339r48
327i7*Name{21|179I9} 27|458r47 474r35 692r59 705m16 850r37 885m10 977r40
. 1009m13
328e7*Var_Kind{25|174E9} 27|706m16 886m10 1010m13 1053m40 1068r47
329b7*Optional_Index{boolean} 27|707m16 765r47 887m10 1011m13
330e7*Attr_Kind{47E9} 27|445r47 708m16 888m10 1012m13 1039m40
331b7*Read_Only{boolean} 27|709m16 726r44 889m10 1013m13
332b7*Others_Allowed{boolean} 27|710m16 776r47 890m10 1014m13
333e7*Default{25|75E9} 27|430r47 711m16 891m10 1015m13
334i7*Next{272I9} 27|476r33 699m48 712m16 752r53 860r47 892m10 986r50 1016m13
338K12 Attrs[51|55] 27|430r17 445r17 458r17 474r18 476r16 532r7 678r13 681r35
. 685r24 691r48 692r39 699r16 700r18 703r34 704r13 726r14 752r27 765r17 776r17
. 850r13 860r23 883r7 884r7 884r20 895r9 977r16 986r26 1007r10 1008r10 1008r23
. 1017r24 1039r10 1053r10 1068r17
351R9 Package_Record 355e14 359r48
352i7*Name{21|179I9} 27|553r70 565m19 796r46 855r67 916r46 938m10 964r46
. 1022m10
353b7*Known{boolean} 27|566m19 797r49 917r49 939m10 1023m10
354i7*First_Attribute{272I9} 27|567m19 684m62 844r53 894m51 940m10 1024m10
. 1084r59
358K12 Package_Attributes[51|55] 27|533r7 552r46 553r37 562r16 563r35 564r16
. 684r19 795r20 795r48 796r13 797r16 844r9 855r23 894r7 915r20 915r48 916r13
. 917r16 933r10 934r26 937r7 963r20 963r48 964r13 1020r7 1021r7 1021r33 1084r22
X 27 prj-attr.adb
70a4 Initialization_Data{string} 487r48 535r13 537r15 545r22 550r30 555r36
. 597r18 632r16 637r19 644r19 646r19 652r27 654r16 658r22 664r36 694r36
384b4 Initialized{boolean} 526r10 717m7
387p4 Package_Names{37|91P12} 405r30 408r56 410r23 410r47 411m13 416r7 786r14
388i4 Last_Package_Name{natural} 405r10 415m7 415r28 416r22 786r34
393U14 Add_Package_Name 393>32 403b14 417l8 417t24 570s16 942s7 1026s7
393a32 Name{string} 403b32 416r56
396V13 Name_Id_Of{21|179I9} 396>25 550s18 652s15 733b13 739l8 739t18 841s20
. 913s19 961s19 973s23
396a25 Name{string} 733b25 736r31
407p13 New_List{46|55P9} 410r13 411r30
470i7 Id{26|272I9} 473r13 474r31 476m10 476r29 479r24
487i7 Start{positive} 488r48 535r34 537r36 542m16 542r25 544r26 550r51 555r57
. 568m16 596m13 596r22 597r39 626m13 626r22 632r37 635m16 635r25 637r40 639m16
. 639r25 642r23 652r48 655m16 657r26 664r57 694r57 713m13
488i7 Finish{positive} 544m16 545r43 546m19 546r29 550r60 555r66 568r25 642m13
. 644r40 646r40 648m16 648r26 652r57 654r37 655r25 657m16 658r43 659m19 659r29
. 664r66 694r66 713r22
489i7 Current_Package{26|302I9} 563m16 564r42 683r19 684r45
490i7 Current_Attribute{26|272I9} 561m16 680r16 699r29 703m13 704r26
491b7 Is_An_Attribute{boolean} 536m10 560m16 592r13
492e7 Var_Kind{25|174E9} 573m16 577m16 581m16 585m16 706r34
493b7 Optional_Index{boolean} 574m16 578m16 582m16 586m16 707r34
494e7 Attr_Kind{26|47E9} 599m19 602m19 605m19 609m22 611m22 616m22 618m22
. 708r34
495i7 Package_Name{21|179I9} 512r13 517r30 549m16 553r22 565r39 570r51
496i7 Attribute_Name{21|179I9} 651m13 674r42 692r22 705r34
497i7 First_Attribute{26|272I9} 681m16 691r29
498b7 Read_Only{boolean} 628m13 633m16 709r34
499b7 Others_Allowed{boolean} 629m13 638m16 710r34
500e7 Default{25|75E9} 630m13 634m16 667m19 711r34
502V16 Attribute_Location{string} 510b16 519l11 519t29 695s47
552i20 Index<integer> 553r63
663a19 Default_Name{string} 667r61 672r25
691i20 Index<integer> 692r52
795i11 Index<integer> 796r39 797r42 798r33
823i7 Attr_Name{21|179I9} 841m7 850r44 885r28
824i7 First_Attr{26|272I9} 843m7 848r20 892r28
825i7 Curr_Attr{26|272I9} 848m7 849r13 850r26 860m10 860r36
826e7 Real_Attr_Kind{26|47E9} 863m7 870m16 873m16 888r28
903i7 Pkg_Name{21|179I9} 913m7 916r53 938r30 942r42
904b7 Found{boolean} 925m16 932r14
915i11 Index<integer> 916r39 917r42 926r32
949i7 Pkg_Name{21|179I9} 961m7 964r53 1022r30 1026r42
950i7 Attr_Name{21|179I9} 973m10 977r47 1009r31
951i7 First_Attr{26|272I9} 975r23 1016r31 1017m10 1024r30
952i7 Curr_Attr{26|272I9} 975m10 976r16 977r29 986m13 986r39
953e7 Attr_Kind{26|47E9} 989m10 994r18 996m19 999m19 1012r31
963i11 Index<integer> 964r39
972i11 Index{integer} 973r47 979r36 989r35 991r25 1010r43 1011r43 1015r43
X 28 prj-com.ads
31K13*Com 27|27w10 27r23 28|40e12
33P9*Fail_Proc
35p4*Fail{33P9} 27|830r10 835r10 851r13 908r10 918r16 957r10 965r13 978r16
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
91P12*String_List_Access{46|55P9} 27|387r24
X 46 s-string.ads
45P9*String_Access(string)
54A9*String_List(45P9)<integer> 26|37r51 27|387r58 408r38 784r46
55P9*String_List_Access(54A9) 27|407r41
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|430r23[26|338] 445r23[26|338] 458r23[26|338]
. 474r24[26|338] 476r22[26|338] 553r56[26|358] 564r35[26|358] 684r38[26|358]
. 692r45[26|338] 699r22[26|338] 704r19[26|338] 726r20[26|338] 752r33[26|338]
. 765r23[26|338] 776r23[26|338] 796r32[26|358] 797r35[26|358] 844r28[26|358]
. 850r19[26|338] 855r42[26|358] 860r29[26|338] 884r13[26|338] 894r26[26|358]
. 916r32[26|358] 917r35[26|358] 937r26[26|358] 964r32[26|358] 977r22[26|338]
. 986r32[26|338] 1008r16[26|338] 1021r26[26|358] 1039r16[26|338] 1053r16[26|338]
. 1068r23[26|338] 1084r41[26|358]
138U17*Init 27|532s13[26|338] 533s26[26|358]
145V16*Last{26|302I9} 27|552s65[26|358] 563s54[26|358] 681s41[26|338] 685s30[26|338]
. 691s54[26|338] 700s24[26|338] 703s40[26|338] 795s67[26|358] 884s26[26|338]
. 895s15[26|338] 915s67[26|358] 934s45[26|358] 963s67[26|358] 1008s29[26|338]
. 1017s30[26|338] 1021s52[26|358]
162i7*First{26|302I9} 27|795r39[26|358] 915r39[26|358] 963r39[26|358]
174U17*Increment_Last 27|562s35[26|358] 678s19[26|338] 883s13[26|338] 933s29[26|358]
. 1007s16[26|338] 1020s26[26|358]
X 54 types.ads
59I9*Int<integer>
62I12*Nat{59I9}
65I12*Pos{59I9}