Function lean_string_utf8_get_fast_cold 

pub unsafe extern "C" fn lean_string_utf8_get_fast_cold(
    s: *const u8,
    i: usize,
    size: usize,
    c: u8,
) -> u32