1 2 3 4 5 6 7 8
#include <stdio.h> // https://pubs.opengroup.org/onlinepubs/9699919799/functions/fflush.html int fflush(FILE *stream) { if (stream->fflush) stream->fflush(stream); return 0; }