--- write_buf.c.orig	2014-02-25 21:03:01.000000000 +0000
+++ write_buf.c	2024-11-28 22:25:15.966663532 +0000
@@ -87,6 +87,7 @@
       sleep (1);
     }
   }
+  return 0;
 }
 
 #ifdef COMPILER_CAN_READ_PSEUDOCODE