static void fun_get_id(void *arg) { *(uintptr_t *)arg = (uintptr_t)xbt_os_thread_self(); xbt_os_sleep(0.05); }
void xbt_sleep(double sec) { xbt_os_sleep(sec); }