voltile things?

src/lib_klee_replay.rs

@@ -9,7 +9,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 #3")
+        core::arch::asm!("bkpt #3"  : /* output */: /* input */ "r"(t): /* clobber */ : "volatile")
     }
 }