#ifndef CONSOLE_H #define CONSOLE_H void console_init(); void console_put_char(char); void console_put_str(char *); #endif