typedef int (*int_f_pvoid_pvoid_t) (void *, void *);
typedef int (*int_f_cpvoid_cpvoid_t) (const void *, const void *);
typedef int (*xbt_main_func_t) (int argc, char *argv[]);
typedef int (*int_f_pvoid_pvoid_t) (void *, void *);
typedef int (*int_f_cpvoid_cpvoid_t) (const void *, const void *);
typedef int (*xbt_main_func_t) (int argc, char *argv[]);