+extern void printf_small (char *,...) _REENTRANT;
+extern int printf (const char *,...);
+extern int vprintf (const char *, va_list);
+extern int sprintf (char *, const char *, ...);
+extern int vsprintf (char *, const char *, va_list);
+extern int puts(const char *);
+extern char *gets(char *);
+extern char getchar(void);
+extern void putchar(char);
+
+#if defined(SDCC_mcs51) && !defined(SDCC_USE_XSTACK)
+extern void printf_fast(__code char *fmt, ...) _REENTRANT;
+extern void printf_fast_f(__code char *fmt, ...) _REENTRANT;
+extern void printf_tiny(__code char *fmt, ...) _REENTRANT;
+#endif