am 8b1bcc7d: Merge "Add a method to leave the symbol table in a library."

* commit '8b1bcc7dc72038ecf80d174cc551cce81978ec95':
  Add a method to leave the symbol table in a library.