.*: file format.*
Contents of section .text:
8000 (10000000|00000010) (40120000|00001240) (0800efcd|cdef0008) (14325476|76543214) .*
# Ignore .ARM.attributes section
#...