Mips to C instructions