Minified 64-bit MIPS