Function lean_mk_string_from_bytes_unchecked 

pub unsafe extern "C" fn lean_mk_string_from_bytes_unchecked(
    s: *const c_char,
    sz: usize,
) -> lean_obj_res