void printf_line(char *, int);
void printf_line_with_prefix(char *, char *, int);
+void Print(char *, ...);
+void PrintLine(char *, int);
+void PrintLineWithPrefix(char *, char *, int);
+
char *int2str(int, int);
char *i_to_a(unsigned int);
int log_2(unsigned int);
void Delay(unsigned int);
boolean FrameReached(unsigned int *, unsigned int);
boolean DelayReached(unsigned int *, unsigned int);
-void WaitUntilDelayReached(unsigned int *, unsigned int);
+int WaitUntilDelayReached(unsigned int *, unsigned int);
+void SkipUntilDelayReached(unsigned int *, unsigned int, int *, int);
unsigned int init_random_number(int, int);
unsigned int get_random_number(int, int);
char *getBasePath(char *);
char *getBaseName(char *);
char *getBaseNamePtr(char *);
+char *getBaseNameNoSuffix(char *);
char *getStringCat2WithSeparator(char *, char *, char *);
char *getStringCat3WithSeparator(char *, char *, char *, char *);
void ReloadCustomArtworkList(struct ArtworkListInfo *);
void FreeCustomArtworkLists(struct ArtworkListInfo *);
-char *getErrorFilename(char *);
-void openErrorFile();
-void closeErrorFile();
-void dumpErrorFile();
+char *getLogFilename(char *);
+void OpenLogFiles();
+void CloseLogFiles();
+void DumpLogFile(int);
+
void NotifyUserAboutErrorFile();
#if DEBUG