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

RN
RV NO_FLOATING_POINT
RV NO_LONG_LONG_INTEGERS
RV SPARK_05

U gnat.sse%s		g-sse.ads		f3f4e206 NE OL PK
W gnat%s		gnat.ads		gnat.ali

D gnat.ads		20140801083227 fd2ad2f1 gnat%s
D g-sse.ads		20120402094718 0ede30f7 gnat.sse%s
D system.ads		20151123113124 57e20cd7 system%s
X 1 gnat.ads
34K9*GNAT 37e9 2|112r9 139r5
X 2 g-sse.ads
112K14*SSE 1|34k9 2|139l10 139e13
118N4*VECTOR_BYTES
121N4*VECTOR_ALIGN
135F9*Float32<float>
136F9*Float64<long_float>
137I9*Integer64<long_long_integer>

