1void percent_x(int ch, char *p, char* ok_chars)
2{
3  char *cp = ch == 'a' ? p : "";
4  for (;*(cp += __builtin_strspn (cp, ok_chars));)
5    ;
6}
7