new option -o to write the contents of the symbol table of an input system