Symbol: strcmp_nodigit