#ifndef KPRINTF_HEADER
#define KPRINTF_HEADER 1

void kprintf(char *format, ...);

#endif