src/compat/mips64/o32