+int load_config(void);
+
+char* SettingsGetPlayerBin(void);
+
+char *InstanceFilePath(Display *dp);
+
+int ConnectToInstance(const char *path);
+
+int CreateSingleInstanceSocket(Display *dp, Bool *already_running);
+
+void* instance_socket_thread(void *data);
+
+void ShutdownInstanceSocket(Display *dp);