Function lean_mk_string_unchecked 

pub unsafe extern "C" fn lean_mk_string_unchecked(
    s: *const u8,
    sz: usize,
    len: usize,
) -> lean_obj_res