docstring symbextr fini.