mips manual r4000 , MIPS IV