#ifndef _LIBJOVE_JOVE_H
#define _LIBJOVE_JOVE_H 1

#include <stdint.h>

extern uintmax_t _syscall_message_box;
extern void *_syscall_message_ptr;

void libjove_init(uintmax_t box, void *boxptr);

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

#endif