#include <stdio.h>
#include <sys/syscall.h>
#include <unistd.h>

extern "C"
{
    void console_print(const char* str)
    {
        syscall(SYS_console_print, str);
    }
}