I guess, practically that's true, but the original code still violated the constraints of the abstract machine for which it was written (it assumed pointer size

I guess, practically that's true, but the original code still violated the constraints of the abstract machine for which it was written (it assumed pointer sizes valid only for particular implementations of C++, etc.)