diff --git a/klee-examples/Cargo.toml b/klee-examples/Cargo.toml
index a9a1b2fea16b70125294315fd2d177100ca3be18..f19ab07a5a678cc36b89f736313031b18b1709bd 100644
--- a/klee-examples/Cargo.toml
+++ b/klee-examples/Cargo.toml
@@ -48,6 +48,10 @@ path = "src/peripheral.rs"
 name = "clk"
 path = "src/clk.rs"
 
+[[bin]]
+name = "sorted"
+path = "src/sorted.rs"
+
 [profile.dev]
 incremental = false
 # lto = true
diff --git a/klee-examples/examples/gpioa.rs b/klee-examples/examples/gpioa.rs
index 39a92766aab68a7c81b7c3101401ef9d1377c7b2..ed5aec3b0eb03956780dab63e3faf6ef5ac85aab 100644
--- a/klee-examples/examples/gpioa.rs
+++ b/klee-examples/examples/gpioa.rs
@@ -1,5 +1,5 @@
 //! $ cargo klee --example gpioa --features klee-device
-//! 
+//!
 #![no_std]
 #![no_main]
 
@@ -21,6 +21,6 @@ fn main() {
     let gpioa = p.GPIOA;
 
     if gpioa.moder.read().bits() == 0 && syst.rvr.read() == 0 {
-        let _p =  Peripherals::take().unwrap();
+        let _p = Peripherals::take().unwrap();
     }
 }
diff --git a/klee-examples/examples/registers.rs b/klee-examples/examples/registers.rs
index 037ee4f4dfbbef85b1cb3110e90fb0c329aa8b23..1552def793c75002b0d5783206926a504140d1b9 100644
--- a/klee-examples/examples/registers.rs
+++ b/klee-examples/examples/registers.rs
@@ -1,3 +1,5 @@
+// cargo klee --example registers --release
+
 #![no_std]
 #![no_main]