diff --git a/cargo_klee_examples/examples/array.rs b/cargo_klee_examples/examples/array.rs
index 4222e144ca6e8869194a14910243566ded702846..32cdb8ec10645edd8d68df93e9ba8a0bca0a4326 100644
--- a/cargo_klee_examples/examples/array.rs
+++ b/cargo_klee_examples/examples/array.rs
@@ -10,6 +10,7 @@ use panic_klee as _;
 
 fn sum_first_elements(arr: &[u8], index: usize) -> u8 {
     let mut acc = 0;
+    let index = core::cmp::min(arr.len(), index);
     for i in 0..index {
         acc += arr[i as usize];
     }