1#source: data.s
2#ld: -T data.t
3#objdump: -s -j .text
4
5.*:     file format .*
6
7Contents of section .text:
8 [0-9a-f]* (04)?000000(04)? (0020)?0000(2000)? .*
9#pass
10