diff --git a/src/lib_klee_replay.rs b/src/lib_klee_replay.rs
index 87a7fe3ac5e31af36d2c4dd39a812d8e9636d650..a0f501ccbb6419de8b7104eb30f6d9da3124de61 100644
--- a/src/lib_klee_replay.rs
+++ b/src/lib_klee_replay.rs
@@ -10,7 +10,7 @@ pub fn klee_assume(_cond: bool) {}
 pub fn klee_make_symbolic<T>(t: &mut T) {
     // force LLVM to consider data to be mutated
     unsafe {
-        core::arch::asm!("bkpt #2","bkpt #{}",t)
+        core::arch::asm!("bkpt #{0}, {imm}",inout(reg) t, imm = const 2)
     }
     // unsafe {
     //     llvm_asm!("bkpt #0" : /* output */: /* input */ "r"(t): /* clobber */ : "volatile")