Function lean_init_task_manager 

pub unsafe extern "C" fn lean_init_task_manager()

Start the Lean task manager with a runtime-chosen number of worker threads (lean.h:1272).