Added print-impl.h, an objdump, and fixed up the shell script.