6 #objdump
: -st
2>/dev
/null
8 # Note that we have to redirect stderr when objdumping to get rid of the
9 #
"no symbols" message that would otherwise cause a spurious failure
and
10 # which we seemingly can
't identify or prune in another way.
17 Contents of section \.text:
18 0000 e3fd0001 e3fd0004 .*