Index: uspace/lib/c/include/stdio.h
===================================================================
--- uspace/lib/c/include/stdio.h	(revision 777832ee6e5de48216dba17868b414e69ad4542d)
+++ uspace/lib/c/include/stdio.h	(revision a8b0c5d5c63e55b59011b6c35b752d43e88778f0)
@@ -84,4 +84,5 @@
 extern int fgetc(FILE *);
 extern char *fgets(char *, int, FILE *);
+extern char *gets(char *, size_t) __attribute__((deprecated));
 
 extern int getchar(void);
@@ -114,7 +115,11 @@
 extern int vasprintf(char **, const char *, va_list);
 extern int asprintf(char **, const char *, ...)
-#endif
     _HELENOS_PRINTF_ATTRIBUTE(2, 3);
+#endif
 extern int vsnprintf(char *, size_t, const char *, va_list);
+
+extern int sprintf(char *, const char *, ...)
+    __attribute__((deprecated)) _HELENOS_PRINTF_ATTRIBUTE(2, 3);
+extern int vsprintf(char *, const char *, va_list) __attribute__((deprecated));
 
 /* Formatted input */
@@ -159,6 +164,4 @@
 #define _IOLBF 1
 #define _IOFBF 2
-
-extern char *gets(char *, size_t);
 
 #endif