Function lean_init_task_manager_using 

pub unsafe extern "C" fn lean_init_task_manager_using(
    num_workers: u32,
)

Start the Lean task manager with the requested number of worker threads (lean.h:1273).