exec_context_print_stats: use nbio_printf

Author: yamt

lib/exec.c

@@ -12,6 +12,7 @@
 #include "expr.h"
 #include "insn.h"
 #include "leb128.h"
+#include "nbio.h"
 #include "platform.h"
 #include "shared_memory_impl.h"
 #include "timeutil.h"
@@ -1062,11 +1063,11 @@ exec_context_clear(struct exec_context *ctx)
 }
 
 #define VEC_PRINT_USAGE(name, vec)                                            \
-        printf("%s %" PRIu32 " (%zu bytes)\n", (name), (vec)->psize,          \
-               (vec)->psize * sizeof(*(vec)->p));
+        nbio_printf("%s %" PRIu32 " (%zu bytes)\n", (name), (vec)->psize,     \
+                    (vec)->psize * sizeof(*(vec)->p));
 
 #define STAT_PRINT(name)                                                      \
-        printf("%23s %12" PRIu64 "\n", #name, ctx->stats.name);
+        nbio_printf("%23s %12" PRIu64 "\n", #name, ctx->stats.name);
 
 void
 exec_context_print_stats(struct exec_context *ctx)