diff --git a/examples/klee_only_test.rs b/examples/klee_only_test.rs
index 1269206ed911578085c080fe4f2bed710e2d68e9..d91544d88bb3f429cfaa4190882e760a893e096e 100644
--- a/examples/klee_only_test.rs
+++ b/examples/klee_only_test.rs
@@ -10,10 +10,13 @@ use panic_klee as _;
 fn main() {
     let mut a = 0;
     klee_make_symbolic!(&mut a, "a");
-    match a {
+    // Rust panic on a == 200;
+    let _ = 100 / (a - 200);
+
+    let _ = match a {
         0 => klee_abort!(),
         1 => klee_abort!(),
-        2 => panic!(),
+        2 => klee_abort!(),
         3 => panic!("3"), // just one instance of panic! will be spotted
         4 => klee_assert!(false),
         5 => klee_assert_eq!(false, true),