MIPS64 assembly snippets