A MIPS emulator for the Hydra project