void percent_x(int ch, char *p, char* ok_chars)
{
char *cp = ch == 'a' ? p : "";
for (;*(cp += __builtin_strspn (cp, ok_chars));)
;
}