#pragma once
#include <stddef.h>
// TODO since this is shared with the kernel, maybe i could turn this into an
// stb-style header file
int memcmp(const void *s1, const void *s2, size_t n);
size_t strlen(const char *s);
int printf(const char *fmt, ...);