Once I've used add-symbol-file to add some symbols, how do I remove those symbols? Clearing the symbol table would be enough. I tried using symbol-file to clear the symbol table, but symbol-file does not seem to have the side effect of clearing the symbol table. Thanks, Shaun