diff --git a/Kernel/include_std/stdio.h b/Kernel/include_std/stdio.h
index 79f4c6ba..d8edadb8 100644
--- a/Kernel/include_std/stdio.h
+++ b/Kernel/include_std/stdio.h
@@ -37,12 +37,13 @@ extern FILE *stderr;
 #define stdout stdout
 #define stderr stderr
 
-int printf(const char *format, ...) __attribute__((format(__printf__, (1), (2))));
-int vprintf(const char *format, va_list arg) __attribute__((format(__printf__, ((1)), (0))));
-int sprintf(char *s, const char *format, ...) __attribute__((format(__printf__, (2), (3))));
-int vsprintf(char *s, const char *format, va_list arg) __attribute__((format(__printf__, ((2)), (0))));
-int snprintf(char *s, size_t count, const char *format, ...) __attribute__((format(__printf__, (3), (4))));
-int vsnprintf(char *s, size_t count, const char *format, va_list arg) __attribute__((format(__printf__, ((3)), (0))));
+#include <printf.h>
+// int printf(const char *format, ...) __attribute__((format(__printf__, (1), (2))));
+// int vprintf(const char *format, va_list arg) __attribute__((format(__printf__, ((1)), (0))));
+// int sprintf(char *s, const char *format, ...) __attribute__((format(__printf__, (2), (3))));
+// int vsprintf(char *s, const char *format, va_list arg) __attribute__((format(__printf__, ((2)), (0))));
+// int snprintf(char *s, size_t count, const char *format, ...) __attribute__((format(__printf__, (3), (4))));
+// int vsnprintf(char *s, size_t count, const char *format, va_list arg) __attribute__((format(__printf__, ((3)), (0))));
 
 int asprintf(char **strp, const char *fmt, ...) __attribute__((format(__printf__, (2), (3))));
 int vasprintf(char **strp, const char *fmt, va_list ap) __attribute__((format(__printf__, ((2)), (0))));