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 SPARK_05 U system.powten_table%s s-powtab.ads 7dd5f64f NE OL PU PK W system%s system.ads system.ali D system.ads 20151123113124 2da59038 system%s D s-powtab.ads 20140801083227 50706677 system.powten_table%s X 1 system.ads 37K9*System 200e11 2|34r9 70r5 X 2 s-powtab.ads 34K16*Powten_Table 1|37k9 2|70l12 70e24 37N4*Maxpow 45r34 45a4*Powten(long_long_float)