Function lean_setup_args 

pub unsafe extern "C" fn lean_setup_args(
    argc: i32,
    argv: *mut *mut c_char,
)

Install the process command-line arguments for System.Args. argv must outlive any Lean code that reads the arguments.