+#include "printf.h"
+
+extern int model_out;
+
+#define model_print(fmt, ...) do { \
+ char mprintbuf[256]; \
+ int printbuflen=snprintf_(mprintbuf, 256, fmt, ## __VA_ARGS__); \
+ int lenleft = printbuflen < 256 ? printbuflen : 256; \
+ int totalwritten = 0; \
+ while(lenleft) { \
+ int byteswritten=write(model_out, &mprintbuf[totalwritten], lenleft); \
+ lenleft-=byteswritten; \
+ totalwritten+=byteswritten; \
+ } \
+} while (0)