What we have on x86 is a well defined target. We won't always succeed in reaching it, but it's possible. If a code change gets us closer to the behaviour of Windows then it's the correct thing to do. What we have right no on ARM is *no* target. How do we decide whether a given code change is correct or not?