MIPS simulator in Agda?