void setBitfieldProperty(int *, int, int, boolean);
boolean getBitfieldProperty(int *, int, int);
+void ResolveGroupElement(int);
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);