return 0;
}
-xbt_thread_t xbt_thread_create(const char*name,void_f_pvoid_t* code, void* param) {
+xbt_thread_t xbt_thread_create(const char*name,void_fp_pvoid_t code, void* param) {
xbt_thread_t res = xbt_new0(s_xbt_thread_t,1);
res->name = xbt_strdup(name);
res->userparam = param;