#ifndef KLIBPRINT_H
#define KLIBPRINT_H

void kputc(const char c);
void kprintf(const char* fmt, ...);

#endif