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 .*