Add an option to dump the symbol table, too.