MIPS64 Takeuchi implementation