.*:     file format.*

Contents of section .text:
 8000 (04000000|00000004) .*