Function lean_initialize_thread 

pub unsafe extern "C" fn lean_initialize_thread()

Attach the current OS thread to the Lean runtime so it may invoke compiled Lean code. Each thread that calls into Lean must pair this with lean_finalize_thread before exiting.