§ objdump versus readelf: