dietlibc/mips64
