* Revision 1.12 2001/01/20 11:49:37 mdw
* Export tuning parameters from header file, for the benefit of other
* hashtable implementations. Change the storage of symbol names: store
* Revision 1.12 2001/01/20 11:49:37 mdw
* Export tuning parameters from header file, for the benefit of other
* hashtable implementations. Change the storage of symbol names: store