#pragma once

#include <stddef.h>
#include <stdarg.h>

extern void putchar(int c);
extern void puts(const char* s);
extern void printk(const char *restrict format, ...);
extern void vprintk(const char *restrict format, va_list ap);