Is that a 64-bit ARM Warrior in your pocket? No, it’s MIPS64