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+b0 2\*\*2
14 CONTENTS, ALLOC, LOAD, READONLY, CODE
15 1 \.data 0+ 2000000000000000 [0-9]+ 0+b8 2\*\*0
16 CONTENTS, ALLOC, LOAD, DATA
17 2 \.sbss 0+ 2000000000000000 [0-9]+ 0+b8 2\*\*0
19 3 \.bss 0+ 2000000000000000 [0-9]+ 0+b8 2\*\*0
21 Contents of section \.text:
22 0000 fd030201 e3fd0001 .*