#include <stdarg.h>

void kprintf(const char* str, ...);