--- a/project_files/hwc/rtl/fileio.c	Tue Jan 07 01:58:23 2014 +0400
+++ b/project_files/hwc/rtl/fileio.c	Tue Jan 07 22:08:02 2014 +0400
@@ -216,8 +216,7 @@
 }
 
 void __attribute__((overloadable)) fpcrtl_flush(Text f) {
-    printf("flush not implemented\n");
-    assert(0);
+    fflush(f->fp);
 }
 
 void __attribute__((overloadable)) fpcrtl_flush(FILE *f) {