1#source: b-twoinsn.s
2#source: b-fixo2.s
3#source: b-post1.s
4#source: b-goodmain.s
5#ld: --oformat binary
6#objcopy_linked_file:
7#objdump: -sht
8
9# Note that we "optimize" out the high tetrabyte of 0 written to
10# 2068098510aa5560, hence only the low part is left.
11
12.*:     file format mmo
13
14Sections:
15Idx Name          Size      VMA               LMA               File off  Algn
16  0 \.text         0+8  0+  0+  0+  2\*\*2
17                  CONTENTS, ALLOC, LOAD, CODE
18  1 \.data         0+4  2068098510aa5564  2068098510aa5564  0+  2\*\*2
19                  CONTENTS, ALLOC, LOAD
20SYMBOL TABLE:
210+4 g       \.text Main
220+4 g       \.text a
23
24Contents of section \.text:
25 0000 e3fd0001 e3fd0004                    .*
26Contents of section \.data:
27 2068098510aa5564 00000008                             .*
28