Implemented symbols as c-strings