Added back mips-simple.v