fprintf(stderr, "...");
    fflush(stderr);