Unfortunately it prints 0 for me.

This is compiled against the runtime and header files of 
ISE EiffelStudio version 13.11.9.3542 GPL Edition - linux-x86

The runtime are:
-rw-r--r-- 1 manus users 429216 Nov 26 01:26 libfinalized.a
-rwxr-xr-x 1 manus users 388692 Nov 26 01:26 libfinalized.so*
-rw-r--r-- 1 manus users 506334 Nov 26 01:26 libmtfinalized.a
-rwxr-xr-x 1 manus users 464083 Nov 26 01:26 libmtfinalized.so*
-rw-r--r-- 1 manus users 711008 Nov 26 01:26 libmtwkbench.a
-rwxr-xr-x 1 manus users 654779 Nov 26 01:26 libmtwkbench.so*
-rw-r--r-- 1 manus users 627194 Nov 26 01:26 libwkbench.a
-rwxr-xr-x 1 manus users 574987 Nov 26 01:26 libwkbench.so*

ubuntu804 [Manu] : md5sum *
5a0d1717177c8ef04ae1e9ff04b7d860  libfinalized.a
cd67f2a6f1d8941309ab0f7a15df676d  libfinalized.so
1332f9d2085d1a02f9675e0bfefd2f6e  libmtfinalized.a
5e26db2afbecf08b4522696f5f57cd34  libmtfinalized.so
fd7206b97c6eff3965d32d9d1c276da0  libmtwkbench.a
220af722eb837704e980637c6b71cd8b  libmtwkbench.so
e024db8407639b8f189688678d0f1559  libwkbench.a
acb70890573f4a98f3f0e6a79f89b2c7  libwkbench.so


The link command line is:

ubuntu804 [Manu] : make
/bin/rm -f test
gcc -o test -O3 -pipe -march=i686 -D_GNU_SOURCE -m32  -DEIF_IEEE_BEHAVIOR -I"/home/manus/local/Eiffel_13.11/studio/spec/linux-x86/include" -I.  -m32    C14/Cobj14.o C13/Cobj13.o C12/Cobj12.o C11/Cobj11.o C10/Cobj10.o C9/Cobj9.o C8/Cobj8.o C7/Cobj7.o C6/Cobj6.o C5/Cobj5.o C4/Cobj4.o C3/Cobj3.o C2/Cobj2.o C1/Cobj1.o E2/Eobj2.o E1/eref.o E1/epoly.o E1/esize.o E1/eplug.o E1/eskelet.o E1/enames.o E1/evisib.o E1/ececil.o E1/einit.o E1/eparents.o E1/emain.o \
                  "/home/manus/local/Eiffel_13.11/studio/spec/linux-x86/lib/libfinalized.a" -lm