extern void console_print(const char *s);