c
if (kfd_locked == INT_MAX) {
    // Handle potential overflow
    return;
}
count = ++kfd_locked;
