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 SPARK_05 U system.wid_bool%b s-widboo.adb 3826fae6 NE OL PK W system%s system.ads system.ali U system.wid_bool%s s-widboo.ads 8fa7f210 NE OL PU PK W system%s system.ads system.ali D system.ads 20160804194326 462fcf90 D s-widboo.ads 20090409180020 c9883d80 D s-widboo.adb 20090409180020 f1aec766 X 1 system.ads 42K9*System 160e11 2|34r9 41r5 3|32r14 51r5 X 2 s-widboo.ads 34K16*Wid_Bool 1|42k9 2|41l12 41e20 3|32b21 51l12 51t20 37V13*Width_Boolean{natural} 37>28 37>32 3|38b13 49l8 49t21 37b28 Lo{boolean} 3|38b28 40r10 43r13 37b32 Hi{boolean} 3|38b32 40r15