char *tokenize(char *s, char *set, char **next);