00001 /* 00002 * example library 00003 */ 00004 00005 00006 00007 #include <stdio.h> 00008 00009 int stderr_println(char* text) 00010 { 00011 fprintf(stderr, "%s\n", text); 00012 return 0; 00013 }