more MIPS IV spec