#include <stdio.h>
#include <unistd.h>

extern "C"
{
    void libc_init()
    {
        stdin = fdopen(STDIN_FILENO, "r");
        stdout = fdopen(STDOUT_FILENO, "w");
        stderr = fdopen(STDERR_FILENO, "w");
    }
}