stringout
stringout(stdout, buf[i], 1);
stringout(stdout, buf[i], 0);
stringout(stdout, buf[j], 0);
void stringout(FILE *fp, char c, int exact);