The original code does not matter. What matters is the code for the binaries you are running. That is the entire point, and that specific garantee has far reaching consequences, even if you apparently can't imagine them.