The MMIX Instruction Set