void InitElementPropertiesStatic(void);
void InitElementPropertiesEngine(int);
+int get_special_property_bit(int, int);
-void ReloadCustomArtwork(void);
+void ReloadCustomArtwork(int);
+
+void KeyboardAutoRepeatOffUnlessAutoplay();
void OpenAll(void);
void CloseAllAndExit(int);