void jthread_system_init(); int jthread_create(void (*start_func)(void *), void *arg); void jthread_exit();