diff --git a/src/lib_klee_replay.rs b/src/lib_klee_replay.rs
index e7ff7ab66bf29cbbe76e108e7e77800c5aff5b63..a390f36ee6b2670af41fc9e1d032a3d31ee224d9 100644
--- a/src/lib_klee_replay.rs
+++ b/src/lib_klee_replay.rs
@@ -8,9 +8,9 @@ pub fn klee_assume(_cond: bool) {}
 #[inline(always)]
 pub fn klee_make_symbolic<T>(t: &mut T) {
     // force LLVM to consider data to be mutated
-    unsafe {
+    //unsafe {
         core::arch::asm!("bkpt #3"  : /* output */: /* input */ "r"(t): /* clobber */ : "volatile")
-    }
+    //}
 }
 
 /// terminates path