pub unsafe extern "C" fn sys_thread_sem_deinit()