printf -> fprintf(stderr)