\section{MIPS code generator}