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

RN
RV NO_FLOATING_POINT
RV SPARK_05

U system.powten_table%s	s-powtab.ads		eff91fcb NE OL PU PK
W system%s		system.ads		system.ali

D system.ads		20260814151758 bf8979bc system%s
D s-powtab.ads		20140801083227 50706677 system.powten_table%s
X 1 system.ads
37K9*System 144e11 2|34r9 70r5
X 2 s-powtab.ads
34K16*Powten_Table 1|37k9 2|70l12 70e24
37N4*Maxpow 45r34
45a4*Powten(long_long_float)

