michael@0: #include <stdio.h>
michael@0: 
michael@0: #ifdef _WIN32
michael@0: __declspec(dllexport)
michael@0: #endif
michael@0: void module_main(void)
michael@0: {
michael@0:   fprintf(stdout, "Hello from lib2.c\n");
michael@0:   fflush(stdout);
michael@0: }