#include <stdio.h>
#include <stdlib.h>

extern int real_main(int argc, char *argv[]);

FILE *_stdin = 0;
FILE *_stdout = 0;
FILE *_stderr = 0;

extern "C" int __cxa_atexit(void (*function)(void));

__attribute__ ((__visibility__ ("hidden"))) void *__dso_handle = &__dso_handle;

int __cxa_atexit(void (*function)(void))
{
    return atexit(function);
}

int main(int argc, char *argv[])
{
    _stdin  = fdopen(0, "r");
    _stdout = fdopen(1, "a");
    _stderr = fdopen(0, "a");
    return real_main(argc, argv);
}