void play_animation(char *filename,char mode,int posy,char sound);
void set_title_list(char **titles);
void set_play_attribs(void *screen,char rdraw,char bm,char colr64);