#include "include/jove.h"
#include "include/object-untyped.h"
#include "error.h"

uintmax_t __jove_syscall_obj = 0;
void *__jove_syscall_ptr = 0;

JoveError jove_errno;

KernelObjectDirectory __jove_untyped_directory;
KernelObjectTyped __jove_work_obj;

uintptr_t __program_end;

void *(*_jove_alloc)(size_t) = NULL;
void (*_jove_free)(void*) = NULL;
void *(*_jove_realloc)(void*, size_t) = NULL;