V "GNAT Lib v6"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -mtune=generic
A -march=i586
P ZX

RN
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_CONVERSION
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U ada.containers.bounded_holders%b  a-coboho.adb  5fa7e2b8 NE OL PK GE
W ada.containers%s	a-contai.ads		a-contai.ali
W system%s		system.ads		system.ali
W unchecked_conversion%s

U ada.containers.bounded_holders%s  a-coboho.ads  7e8db8be BN NE OL PK GE
W ada.containers%s	a-contai.ads		a-contai.ali
W system%s		system.ads		system.ali
N A41:4 codepeer skip_analysis

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-contai.ads		20151020122137 61e5e089 ada.containers%s
D a-coboho.ads		20151023123735 32cdc80f ada.containers.bounded_holders%s
D a-coboho.adb		20151023123735 a745b4af ada.containers.bounded_holders%b
D a-unccon.ads		20070406091342 f9eb8f06 ada.unchecked_conversion%s
D system.ads		20151123113124 2da59038 system%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-stalib.ads		20151112104907 09bd3940 system.standard_library%s
D unchconv.ads		20070406091342 ca2f9e18 unchecked_conversion%s
X 1 ada.ads
16K9*Ada 19e8 3|40r9 114r5 4|30r14 99r5
X 2 a-contai.ads
16K13*Containers 1|16k9 2|24e19 3|40r13 114r9 4|30r18 99r9
X 3 a-coboho.ads
35+9 Element_Type 37r6 38r37 76r35 77r29 79r45 81r58 88r19 101r38 4|32r49
. 41r49 71r45 80r58 92r35
36i4 Max_Size_In_Storage_Elements{natural} 94r34 4|42r34
38V19 "="{boolean} 38>23 38>29 4|64s25
38*23 Left{35+9}
38*29 Right{35+9}
40k24*Bounded_Holders 2|16k13 3|35z9 36z4 38z19 91E9 114l20 114e35 4|30b29
. 99l20 99t35
72R9*Holder 74r32 76r56 77r50 79r30 81r38 93c9 96e6 4|62r32 71r30 80r38 92r56
. 94r23
74V14*"="{boolean} 74>18 74>24 4|62b14 65l9 65t11
74r18 Left{72R9} 4|62b18 64r19
74r24 Right{72R9} 4|62b24 64r32
76V13*To_Holder{72R9} 76>24 77r65 4|92b13 97l8 97t17
76*24 New_Item{35+9} 4|92b24 95r23
77V14*"+"=77:65{72R9}
77*18 New_Item{35+9}
79V13*Get{35+9} 79>18 4|64s14 64s27 71b13 74l8 74t11
79r18 Container{72R9} 4|71b18 73r20
81U14*Set 81=19 81>46 4|80b14 86l8 86t11 95s10
81r19 Container{72R9} 4|80b19 85m7
81*46 New_Item{35+9} 4|80b46 82r41 83r22
91M9 Storage_Element 92r55
92A9 Storage_Array(91M9)<integer> 94r14 4|81r17
94a7 Data{92A9} 4|85m17
101P9 Element_Access(35+9) 102r19 109r31 4|56r44
X 4 a-coboho.adb
32V13 Size_In_Storage_Elements{natural} 32>39 41b13 53l8 53t32 82s15
32*39 Element{3|35+9} 41b39 45r38 47r13
42i7 Max_Size=42:34{natural} 51r18 51r64
45i14 S{natural} 51r13 51r49
55V13 Cast[9|20]{3|101P9} 73s14
81a7 Storage{3|92A9} 85r23 85r41
94r14 Result{3|72R9} 95m15 95r15
X 6 system.ads
37K9*System 3|32w14 91r32 4|45r53 47r30 56r28 6|200e11
67M9*Address 4|56r35
71N4*Storage_Unit 3|91r39 4|45r60 47r37
X 9 unchconv.ads
20v10*Unchecked_Conversion 4|28w6 56r6