void *stdin = 0;
void *stdout = 0;
void *stderr = 0;
void *__dso_handle = 0;
extern int real_main(int argc, char *argv[]);
extern "C" void *fdopen(int fd, char *mode);
extern "C" int atexit(void (*function)(void));
extern "C" int __cxa_atexit(void (*function)(void))
{
return atexit(function);
}
int main(int argc, char *argv[])
{
__dso_handle = &__dso_handle;
stdin = fdopen(0, "r");
stdout = fdopen(1, "a");
stderr = fdopen(0, "a");
return real_main(argc, argv);
}