.*: file format.*
Disassembly of section destsect:
00900000 <[^>]*>:
900000: e7fe b.n 900000 <dest>
Disassembly of section .text:
000080.. <[^>]*>:
80..: f0f7 9f.. b.w 900000 <dest>
