.*:     file format.*
Disassembly of section .text:
00008000 <[^>]*>:
    8000:	e3080013 	movw	r0, #32787	@ 0x8013
    8004:	e3400000 	movt	r0, #0
00008008 <[^>]*>:
    8008:	f248 0013 	movw	r0, #32787	@ 0x8013
    800c:	f2c0 0000 	movt	r0, #0
.*:     file format.*
Disassembly of section .text:
00008000 <[^>]*>:
    8000:	e3080013 	movw	r0, #32787	@ 0x8013
    8004:	e3400000 	movt	r0, #0
00008008 <[^>]*>:
    8008:	f248 0013 	movw	r0, #32787	@ 0x8013
    800c:	f2c0 0000 	movt	r0, #0