# HG changeset patch
# User nemo
# Date 1544721133 18000
# Node ID a32b967f13412b090e96bfb83ea1af3469fca389
# Parent  e8723f97324c09409c2b9bd35e0e2573b2918abd
This seems to be all that was needed for bug #719

diff -r e8723f97324c -r a32b967f1341 project_files/hwc/rtl/fileio.c
--- a/project_files/hwc/rtl/fileio.c	Thu Dec 13 11:03:15 2018 -0500
+++ b/project_files/hwc/rtl/fileio.c	Thu Dec 13 12:12:13 2018 -0500
@@ -186,7 +186,8 @@
  */
 void fpcrtl_blockWrite__vars(File f, const void *buf, Integer count,
         Integer *result) {
-    assert(0);
+    assert(f->record_len > 0);
+    *result = fwrite(buf, f->record_len, count, f->fp);
 }
 
 bool fpcrtl_directoryExists(string255 dir) {