void InitElementPropertiesStatic(void);
void InitElementPropertiesEngine(int);
void InitElementPropertiesAfterLoading(int);
+void InitElementPropertiesGfxElement();
void ReloadCustomArtwork(int);
void RedrawBackground();
void KeyboardAutoRepeatOffUnlessAutoplay();
+void InitGfxBuffers();
+void InitGadgets();
+
void OpenAll(void);
void CloseAllAndExit(int);