.*: file format.*
Contents of section .text:
8000 (04000000|00000004) .*
# Ignore .ARM.attributes section
#...