int spawn(const char *fmt, ...);
void display_video_text(int x, int y, const char *text, int font,
int bg_color, int color, int alpha, double secs, double scale);
int spawn(const char *fmt, ...);
void display_video_text(int x, int y, const char *text, int font,
int bg_color, int color, int alpha, double secs, double scale);