/* * example library */ #include int stderr_println(char* text) { fprintf(stderr, "%s\n", text); return 0; }