Function lean_string_utf8_set 

pub unsafe extern "C" fn lean_string_utf8_set(
    s: lean_obj_arg,
    i: b_lean_obj_arg,
    c: u32,
) -> lean_obj_res