#ifndef _LIBJOVE_JOVE_H
#define _LIBJOVE_JOVE_H 1

#include <stdint.h>
#include <stddef.h>

extern uintmax_t __jove_syscall_obj;
extern void *__jove_syscall_ptr;

extern void *(*_jove_alloc)(size_t);
extern void (*_jove_free)(void*);
extern void *(*_jove_realloc)(void*, size_t);

extern uintptr_t __program_end;

void jove_kprintf(const char *restrict fmt, ...);

#endif