diff --git a/cargo_klee_examples/examples/array.rs b/cargo_klee_examples/examples/array.rs
index f1fa1b7da759444246c3703f50e1b3d5096c7f10..84be7a7fda08fcd6a6ba30367bc9ef2d9981f760 100644
--- a/cargo_klee_examples/examples/array.rs
+++ b/cargo_klee_examples/examples/array.rs
@@ -22,7 +22,11 @@ fn sum_first_elements(arr: &[u8], index: usize) -> u8 {
 
 #[no_mangle]
 fn main() {
-    let arr = [0u8; 8];
+    let mut arr = [0u8; 8];
+    for i in 0..arr.len() {
+        let mut element: u8 = 0;
+        klee_make_symbolic!(&mut element, "element");
+    }
     let mut i: usize = 0;
     klee_make_symbolic!(&mut i, "i");
     let b = sum_first_elements(&arr, i);