diff --git a/src/lib.rs b/src/lib.rs
index fcdcfce2097bb5b1468aae0dba39340ea3b5679c..972fb47b8f93130e765d659dd390b8faa6f33eaa 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -14,7 +14,7 @@
 //! TODO: better documentation (as always)
 
 #![no_std]
-#![cfg_attr(feature = "inline-asm", feature(llvm_asm))]
+//#![cfg_attr(feature = "inline-asm", feature(llvm_asm))]
 
 // re-exports for klee-analysis
 #[cfg(feature = "klee-analysis")]
diff --git a/src/lib_klee_replay.rs b/src/lib_klee_replay.rs
index 7dd5b71803e572556147c2a63f9ce289b018f299..cc5e6b0c4ca160ee6b8de1f3ec9e1e4d3b9c73f9 100644
--- a/src/lib_klee_replay.rs
+++ b/src/lib_klee_replay.rs
@@ -8,9 +8,7 @@ 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 {
-        core::arch::asm!("bkpt #3")
-    }
+    core::arch::asm!("bkpt #3")
 }
 
 /// terminates path