Export a few symbols.