00001 #ifndef rprintf_h_ 00002 #define rprintf_h_ 00003 00004 extern void rprintf_devopen( int(*put)(int) ); 00005 extern void rprintf ( char const *format, ... ); 00006 00007 #endif