#ifndef _KPRINTF_H #define _KPRINTF_H int puts(const char *); void printf(const char *, ...); #endif /* _KPRINTF_H */