#include void console_init(void) { }