void drawRedscreen() { SDL_Widget* red_label = drawRed(); SDL_WidgetClose(red_label); refreshWin(); }
void user_process2() { drawRed(); sys_yield(); }