Add parameters to MIPS.v