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