Hi, Is there any particular reason we expose thread_init() in core.thread? This seems like the kind of function that really shouldn't be in the public API since it's used for internal runtime initialization. Regards, Alex