Create mips-decode.v