State symbol tables should use char * instead of char