int platform_dgetc(char *c, bool wait);
void platform_dputc(char c);
void platform_dputs_thread(const char* str, size_t len);