char *skip_spaces(char *s);