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