+ SCM
+ irr_video_beginScene (SCM wrapped_video_driver,
+ SCM rest);
+
+ SCM
+ irr_video_endScene (SCM wrapped_video_driver);
+
+ SCM
+ irr_video_getFPS (SCM wrapped_video_driver);
+
+ SCM
+ irr_video_getTexture (SCM wrapped_video_driver,
+ SCM filename);
+
+ SCM
+ irr_getVideoDriver (SCM wrapped_obj);
+