V "GNAT Lib v4.9"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -mtune=pentium
A -march=pentium
P

RN
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U system.unsigned_types%s  s-unstyp.ads		17295d3f NE OL PU PK
W system%s		system.ads		system.ali

D system.ads		20160804194326 462fcf90
D s-unstyp.ads		20140225171140 510692af
X 1 system.ads
42K9*System 160e11 2|40r9 208r5
X 2 s-unstyp.ads
40K16*Unsigned_Types 1|42k9 2|208l12 208e26
43M9*Short_Short_Unsigned 94r16 95r32 98r16 99r32 102r16 103r32 106r16 107r32
. 110r16 111r32
44M9*Short_Unsigned 114r16 115r32 118r16 119r32 122r16 123r32 126r16 127r32
. 130r16 131r32
45M9*Unsigned 134r16 135r32 138r16 139r32 142r16 143r32 146r16 147r32 150r16
. 151r32
46M9*Long_Unsigned 154r16 155r32 158r16 159r32 162r16 163r32 166r16 167r32
. 170r16 171r32
47M9*Long_Long_Unsigned 174r16 175r32 178r16 179r32 182r16 183r32 186r16
. 187r32 190r16 191r32
49M9*Float_Unsigned
52M9*Packed_Byte 53r8 56r54 58r41
56A9*Packed_Bytes1(52M9)<integer> 57r8 58r8 65r30 75r30 206r38
65A9*Packed_Bytes2<56A9><integer> 66r8
75A9*Packed_Bytes4<56A9><integer> 76r8 90r23 205r38
85M9*Bits_1
86M9*Bits_2
87M9*Bits_4
90A12*Bytes_F{75A9}<integer>
93V13*Shift_Left{43M9} 94>7 95>7 193b30
94m7 Value{43M9}
95i7 Amount{natural}
97V13*Shift_Right{43M9} 98>7 99>7 194b30
98m7 Value{43M9}
99i7 Amount{natural}
101V13*Shift_Right_Arithmetic{43M9} 102>7 103>7 195b30
102m7 Value{43M9}
103i7 Amount{natural}
105V13*Rotate_Left{43M9} 106>7 107>7 196b30
106m7 Value{43M9}
107i7 Amount{natural}
109V13*Rotate_Right{43M9} 110>7 111>7 197b30
110m7 Value{43M9}
111i7 Amount{natural}
113V13*Shift_Left{44M9} 114>7 115>7 193b30
114m7 Value{44M9}
115i7 Amount{natural}
117V13*Shift_Right{44M9} 118>7 119>7 194b30
118m7 Value{44M9}
119i7 Amount{natural}
121V13*Shift_Right_Arithmetic{44M9} 122>7 123>7 195b30
122m7 Value{44M9}
123i7 Amount{natural}
125V13*Rotate_Left{44M9} 126>7 127>7 196b30
126m7 Value{44M9}
127i7 Amount{natural}
129V13*Rotate_Right{44M9} 130>7 131>7 197b30
130m7 Value{44M9}
131i7 Amount{natural}
133V13*Shift_Left{45M9} 134>7 135>7 193b30
134m7 Value{45M9}
135i7 Amount{natural}
137V13*Shift_Right{45M9} 138>7 139>7 194b30
138m7 Value{45M9}
139i7 Amount{natural}
141V13*Shift_Right_Arithmetic{45M9} 142>7 143>7 195b30
142m7 Value{45M9}
143i7 Amount{natural}
145V13*Rotate_Left{45M9} 146>7 147>7 196b30
146m7 Value{45M9}
147i7 Amount{natural}
149V13*Rotate_Right{45M9} 150>7 151>7 197b30
150m7 Value{45M9}
151i7 Amount{natural}
153V13*Shift_Left{46M9} 154>7 155>7 193b30
154m7 Value{46M9}
155i7 Amount{natural}
157V13*Shift_Right{46M9} 158>7 159>7 194b30
158m7 Value{46M9}
159i7 Amount{natural}
161V13*Shift_Right_Arithmetic{46M9} 162>7 163>7 195b30
162m7 Value{46M9}
163i7 Amount{natural}
165V13*Rotate_Left{46M9} 166>7 167>7 196b30
166m7 Value{46M9}
167i7 Amount{natural}
169V13*Rotate_Right{46M9} 170>7 171>7 197b30
170m7 Value{46M9}
171i7 Amount{natural}
173V13*Shift_Left{47M9} 174>7 175>7 193b30
174m7 Value{47M9}
175i7 Amount{natural}
177V13*Shift_Right{47M9} 178>7 179>7 194b30
178m7 Value{47M9}
179i7 Amount{natural}
181V13*Shift_Right_Arithmetic{47M9} 182>7 183>7 195b30
182m7 Value{47M9}
183i7 Amount{natural}
185V13*Rotate_Left{47M9} 186>7 187>7 196b30
186m7 Value{47M9}
187i7 Amount{natural}
189V13*Rotate_Right{47M9} 190>7 191>7 197b30
190m7 Value{47M9}
191i7 Amount{natural}
205A12*Packed_Bytes{75A9}<integer>
206A12*Packed_Bytes_Unaligned{56A9}<integer>