chkbltin
(void) fprintf(stderr, "(%ws", chkbltin(a1[1]));
(void) fprintf(stderr, ",%ws", chkbltin(a1[i]));
static wchar_t *chkbltin(wchar_t *);