23     } string255;

    23     } string255;

    24 

    24 

    25 typedef void RunEngine_t(int argc, const char ** argv);

    25 typedef void RunEngine_t(int argc, const char ** argv);

    26 typedef void registerGUIMessagesCallback_t(void * context, void (*)(void * context, MessageType mt, const char * msg, uint32_t len));

    26 typedef void registerGUIMessagesCallback_t(void * context, void (*)(void * context, MessageType mt, const char * msg, uint32_t len));

    27 typedef void getPreview_t();

    27 typedef void getPreview_t();

    28 typedef void setSeed_t(const char * seed);

    29 typedef void setSeed_t(const char * seed);

    29 typedef char *getSeed_t();

    30 typedef char *getSeed_t();

    30 typedef void flibInit_t(const char * localPrefix, const char * userPrefix);

    31 typedef void flibInit_t(const char * localPrefix, const char * userPrefix);

    31 typedef void flibFree_t();

    32 typedef void flibFree_t();

    32 

    33