Consider that having effectively banned jits from iOS, they have made the binary translation problem much easier.