diff --git a/lib/utils/printf.c b/lib/utils/printf.c
index 6dce8969414e9be9bd4ac24a920c364541d3c93c..6822564f35388cc90e7448668a1fe2f12cf121c9 100644
--- a/lib/utils/printf.c
+++ b/lib/utils/printf.c
@@ -35,6 +35,13 @@
 #include "py/formatfloat.h"
 #endif
 
+int printf(const char *fmt, ...);
+int vprintf(const char *fmt, va_list ap);
+int putchar(int c);
+int puts(const char *s);
+int vsnprintf(char *str, size_t size, const char *fmt, va_list ap);
+int snprintf(char *str, size_t size, const char *fmt, ...);
+
 int printf(const char *fmt, ...) {
     va_list ap;
     va_start(ap, fmt);