Index: iolib/dofmt.x
===================================================================
--- iolib/dofmt.x	(revision b28a12ef97b945387f5b106a616f46d89ccff6b6)
+++ iolib/dofmt.x	(revision 6aa430b53ee38cdae99301c5e14c358ac29b4f87)
@@ -1,4 +1,5 @@
 #pragma once
 
+#include "stdarg.h"
 #include "stdint.h"
 
@@ -10,3 +11,2 @@
 
 extern	int32_t		dofmt_(int16_t (*putsub)(), int8_t *format, va_list args);
-
Index: iolib/mdump.x
===================================================================
--- iolib/mdump.x	(revision b28a12ef97b945387f5b106a616f46d89ccff6b6)
+++ iolib/mdump.x	(revision 6aa430b53ee38cdae99301c5e14c358ac29b4f87)
@@ -10,3 +10,2 @@
 
 extern	void		mdump(int8_t *begin, int8_t *end, int32_t start);
-
Index: iolib/pause.x
===================================================================
--- iolib/pause.x	(revision b28a12ef97b945387f5b106a616f46d89ccff6b6)
+++ iolib/pause.x	(revision 6aa430b53ee38cdae99301c5e14c358ac29b4f87)
@@ -1,3 +1,5 @@
 #pragma once
+
+#include "stdint.h"
 
 /*
@@ -8,3 +10,2 @@
 
 extern	void		pause(int8_t *s);
-
Index: iolib/printf.x
===================================================================
--- iolib/printf.x	(revision b28a12ef97b945387f5b106a616f46d89ccff6b6)
+++ iolib/printf.x	(revision 6aa430b53ee38cdae99301c5e14c358ac29b4f87)
@@ -10,3 +10,2 @@
 
 extern	int32_t		printf(int8_t *fmt, ...);
-
Index: iolib/rawio.x
===================================================================
--- iolib/rawio.x	(revision b28a12ef97b945387f5b106a616f46d89ccff6b6)
+++ iolib/rawio.x	(revision 6aa430b53ee38cdae99301c5e14c358ac29b4f87)
@@ -13,3 +13,2 @@
 extern	int16_t		readln(int16_t unit, int16_t nc, int8_t *ctl, int16_t nb, int8_t *buf);
 extern	void		writeln(int16_t unit, int8_t *buf);
-
Index: iolib/sprintf.x
===================================================================
--- iolib/sprintf.x	(revision b28a12ef97b945387f5b106a616f46d89ccff6b6)
+++ iolib/sprintf.x	(revision 6aa430b53ee38cdae99301c5e14c358ac29b4f87)
@@ -10,3 +10,2 @@
 
 extern	int32_t		sprintf(int8_t *str, int8_t *fmt, ...);
-
Index: iolib/waitcr.x
===================================================================
--- iolib/waitcr.x	(revision b28a12ef97b945387f5b106a616f46d89ccff6b6)
+++ iolib/waitcr.x	(revision 6aa430b53ee38cdae99301c5e14c358ac29b4f87)
@@ -10,3 +10,2 @@
 
 extern	int16_t		waitcr(void);
-