#ifndef _LIBJOVE_JOVE_H
#define _LIBJOVE_JOVE_H 1

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

extern uintmax_t _syscall_message_box;
extern void *_syscall_message_ptr;

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

void libjove_init(uintmax_t box, void *boxptr);

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

#endif