char* strtok_r(register char *s, register const char *delim, char **lasts);
int strcasecmp(const char* s1, const char* s2);