MINT

???

See:


From instruction-set simulation and tracing