00001 00002 #ifndef _print_h 00003 #define _print_h 00004 00005 int stderr_println(char* text); 00006 00007 #endif
