Actually I'm now getting very confused with all those different behaviors. The compiler I'm using is the one that was compiled with the shipped run-time since we run the PorterPackage.

To make things easier, could we use the development version of EiffelStudio (i.e. 14.05) to debug this and then we can retrofit to 13.11? To begin with, I'd like if this is possible that you write a program under Solaris that prints values correctly, take the uncompiled F_code of that program and compile it under Linux 32-bit and ensure that it does not work properly.

I can then take this F_code and the accompanying Eiffel code and test this on my locale machine.

Would this be possible?