Assertion: elf's number | /r/HasProperty | header
Facets:
Source sentences:
text: Number of program headers: 9 Size of section headers: