Update mips-simple.v