#ifndef __STDIO_H #define __STDIO_H #include <debug.h> #include <printf.h> void putc(char c); int puts(const char *str); int getc(char *c); // XXX not really getc #endif