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_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 2da59038 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 136F9*Float64 137I9*Integer64