void* irr_IrrlichtDevice_getSceneManager(void* device);
void* irr_IrrlichtDevice_getVideoDriver(void* device);
void irr_IrrlichtDevice_setWindowCaption(void* device, const char* text);
void* irr_IrrlichtDevice_getSceneManager(void* device);
void* irr_IrrlichtDevice_getVideoDriver(void* device);
void irr_IrrlichtDevice_setWindowCaption(void* device, const char* text);