A tool for the JMIC MI-Interpreter machine.