#include <stdio.h>
int fflush(FILE* file)
// file can be zero, as flush all
{
	if (file && (file->mode & 3)==FILE_OPEN_READ)
  		return 0;

  	return(0);  // always good, as no write buffering
}