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