char *getStringCopy(char *);
char *getStringToLower(char *);
void MarkTileDirty(int, int);
+void SetBorderElement();
void GetOptions(char **);
void Error(int, char *, ...);
void *checked_malloc(unsigned long);
char *getKeyNameFromKeySym(KeySym);
char *getX11KeyNameFromKeySym(KeySym);
KeySym getKeySymFromX11KeyName(char *);
+char getCharFromKeySym(KeySym);
char *getJoyNameFromJoySymbol(int);
int getJoySymbolFromJoyName(char *);
int getJoystickNrFromDeviceName(char *);