Index: firmware/logf.c
===================================================================
--- firmware/logf.c (revision 23471)
+++ firmware/logf.c (working copy)
@@ -207,8 +207,16 @@
va_list ap;

va_start(ap, fmt);
+
+#ifdef SIMULATOR
+ char buf[1024];
+ vsnprintf(buf, sizeof buf, fmt, ap);
+ DEBUGF("%s\n", buf);
+#endif
+
vfnprintf(logf_push, NULL, fmt, ap);
va_end(ap);
+

/* add trailing zero */
logf_push(NULL, '\0');