* objdump.c: New command line option --debugging-tags.