diff --git a/src/lib_klee_replay.rs b/src/lib_klee_replay.rs
index cc5e6b0c4ca160ee6b8de1f3ec9e1e4d3b9c73f9..7dd5b71803e572556147c2a63f9ce289b018f299 100644
--- a/src/lib_klee_replay.rs
+++ b/src/lib_klee_replay.rs
@@ -8,7 +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
-    core::arch::asm!("bkpt #3")
+    unsafe {
+        core::arch::asm!("bkpt #3")
+    }
 }
 
 /// terminates path