Perhaps surprisingly, this does not mean ISA migration is no longer a challenge in the presence of source code. We find that ...