get_mips ok