| .*: file format .* | |
| Disassembly of section .text: | |
| 00008000 <_start>: | |
| 8000: f050 a002 bne.w 58008 <__bar_from_thumb> | |
| \.\.\. | |
| 58004: f040 8000 bne.w 58008 <__bar_from_thumb> | |
| 00058008 <__bar_from_thumb>: | |
| 58008: 4778 bx pc | |
| 5800a: 46c0 nop ; \(mov r8, r8\) | |
| 5800c: ea02fffb b 118000 <bar> | |
| Disassembly of section .foo: | |
| 00118000 <bar>: | |
| 118000: e12fff1e bx lr |