+ irr_IrrlichtDevice_getGUIEnvironment (SCM device);
+
+ SCM
+ irr_IrrlichtDevice_getSceneManager (SCM device);
+
+ SCM
+ irr_IrrlichtDevice_getVideoDriver (SCM device);
+
+ SCM
+ irr_IrrlichtDevice_setWindowCaption (SCM device,
+ SCM text);
+
+ SCM
+ irr_getTimer (SCM wrapped_device);
+
+ SCM
+ irr_isWindowActive (SCM wrapped_device);
+
+ SCM
+ irr_run (SCM wrapped_device);
+
+ SCM
+ irr_setEventReceiver (SCM wrapped_device,
+ SCM receiver);
+
+ SCM
+ irr_setResizable (SCM wrapped_device,
+ SCM resize);
+
+ SCM
+ irr_yield (SCM wrapped_device);