static void puts(const char *s) { solo5_console_write(s, strlen(s)); }
void OS::default_stdout(const char* str, const size_t len) { solo5_console_write(str, len); }