#ifndef CIO_H #define CIO_H #include #include #include void cprint(const char *format); void cprintln(const char *format); #endif