Revert to using ordinary c-strings.

C++ strings are really expensive! Add a special type of table to deal with
c-strings.