void* irr_IrrlichtDevice_getSceneManager(void* device);
void* irr_IrrlichtDevice_getVideoDriver(void* device);
void irr_IrrlichtDevice_setWindowCaption(void* device, const char* text);
+ int irr_IrrlichtDevice_run(void* device);
+ int irr_IrrlichtDevice_drop(void* device);
#ifdef __cplusplus
}