/* Locking is not necessary because, in the event of failure, the stream
* passed to freopen is invalid as soon as freopen is called. */
-FILE *freopen(const char *filename, const char *mode, FILE *f)
+FILE *freopen(const char *restrict filename, const char *restrict mode, FILE *restrict f)
{
int fl;
FILE *f2;
f->write = f2->write;
f->seek = f2->seek;
f->close = f2->close;
- f->flush = f2->flush;
fclose(f2);
return f;