// char*name = bprintf("%s#%p",SIMIX_process_get_name(SIMIX_process_self()), param);
res->s_process = SIMIX_process_create(name,
xbt_thread_create_wrapper, res,
// char*name = bprintf("%s#%p",SIMIX_process_get_name(SIMIX_process_self()), param);
res->s_process = SIMIX_process_create(name,
xbt_thread_create_wrapper, res,