* make symbol table keys const char*