# objdump: -dr .*: file format elf64-mmix Disassembly of section \.text: 0000000000000000
: 0: 18170c43 mul \$23,\$12,\$67 4: 20200c43 add \$32,\$12,\$67 8: 2a0c2043 4addu \$12,\$32,\$67 c: 2ce88543 8addu \$232,\$133,\$67 10: 2e170c49 16addu \$23,\$12,\$73 14: 3e1f0ce9 sru \$31,\$12,\$233 18: 601726d4 csn \$23,\$38,\$212 1c: 7c04afb5 zsnp \$4,\$175,\$181 20: 1b170cb0 mulu \$23,\$12,176 24: 39200cb0 sl \$32,\$12,176 28: 330c20b0 cmpu \$12,\$32,176 2c: 29e885b0 2addu \$232,\$133,176 30: df170ccb mxor \$23,\$12,203 34: c11f0cd5 or \$31,\$12,213 38: cd1726d3 nand \$23,\$38,211 3c: d304afa1 wdif \$4,\$175,161 40: db170c00 sadd \$23,\$12,0 44: df200c00 mxor \$32,\$12,0 48: c30c2000 orn \$12,\$32,0 4c: cbe88500 andn \$232,\$133,0 50: 2f170c00 16addu \$23,\$12,0 54: 391f0c00 sl \$31,\$12,0 58: 23172600 addu \$23,\$38,0 5c: 3104af00 cmp \$4,\$175,0