This seems like a machdep issue: the sliced program compiled as 32-bit produces the expected result. It's only compiled as 64-bit that it produces There were changes related to machdep and projects recently, I need to get more information about that.