New and enhanced version of dump.c.