void draw_splash();