string_for_symbol 9622 string.c           name = string_for_symbol(name);
string_for_symbol 9632 string.c           name = string_for_symbol(name);