#include <bits/errno-return.h>
#include <stdio.h>
#include <sys/syscall.h>
#include <unistd.h>

FILE* stderr = nullptr;

extern "C"
{
    int console_print(const char* str)
    {
        long rc = syscall(SYS_console_print, str);
        __errno_return(rc, int);
    }
}