
if (start > UINT64_MAX - len) {
    return -EOVERFLOW;
}
