diff --git a/klee-examples/src/peripheral.rs b/klee-examples/src/peripheral.rs
index 346cdfed9b406200fc2f2c00c1577d30fd91ded9..53d77066304ec81cfa97d9cc99f81160ecef4927 100644
--- a/klee-examples/src/peripheral.rs
+++ b/klee-examples/src/peripheral.rs
@@ -17,16 +17,13 @@ fn main() {
     let peripherals = Peripherals::take().unwrap();
     let mut dwt = peripherals.DWT;
     dwt.enable_cycle_counter();
-    // unsafe {
-    //     dwt.ctrl.write(0);
-    // }
-    // if dwt.ctrl.read() == 0 {
-    //     if dwt.ctrl.read() == 0 {
-    //         klee::abort();
-    //     };
-    // };
+    unsafe {
+        dwt.ctrl.write(0);
+    }
+    if dwt.ctrl.read() == 0 {
+        if dwt.ctrl.read() == 0 {
+            klee::abort();
+        };
+    };
 
-    // unsafe {
-    //     ptr::read_volatile(&dwt);
-    // }
 }