7 # Check that
254 is local when we don
't have any registers.
9 .*: file format elf64-mmix
12 Idx Name Size VMA LMA File off Algn
13 0 \.text 0+8 0+ 0+ 0+78 2\*\*2
14 CONTENTS, ALLOC, LOAD, READONLY, CODE
15 Contents of section \.text:
16 0000 fd030201 e3fd0001 .*