Allows uthread_init() to be called repeatedly