x86 to ARM is tricky.