Function intersects_offset_len 

pub fn intersects_offset_len(
    offset1: u64,
    len1: u64,
    offset2: u64,
    len2: u64,
) -> bool

Determines if two (offset, len) pairs overlap as half-open ranges [offset, offset + len).

Returns false if either length is zero or if an integer overflow occurs on offset + len.