7 .*: file format elf64-mmix
10 0+ l d \.text 0+ (|\.text)
11 0+7f0 l d \.MMIX\.reg_contents 0+ (|\.MMIX\.reg_contents)
15 0+fe g \*REG\* 0+ areg
18 Contents of section \.text:
19 0+ e3fd0001 8f03fe10 8e0307fe 8f05fe04 .*
20 0+10 8c0c20fe 8d7bfe22 8dfeea38 .*
21 Contents of section \.MMIX\.reg_contents:
22 07f0 00000000 00000004 .*