diff --git a/examples/sim.rs b/examples/sim.rs
index bda838f..fa6e793 100644
--- a/examples/sim.rs
+++ b/examples/sim.rs
@@ -33,11 +33,12 @@ fn main() {
     }
 
     let input_name_to_ref: HashMap<String, usize> = HashMap::from_iter(
-        sys.get_signals(|s| s.kind == ir::SignalKind::Input)
+        sys.get_signals(|s| s.kind == SignalKind::Input)
             .iter()
             .enumerate()
             .map(|(idx, (e, _))| (e.get_symbol_name(&ctx).unwrap().to_string(), idx)),
     );
-
     println!("{:?}", input_name_to_ref);
+
+    let sim = libpatron::sim::interpreter::Interpreter::new(&ctx, &sys);
 }
diff --git a/src/lib.rs b/src/lib.rs
index 681c579..b04e903 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -7,4 +7,4 @@ extern crate lazy_static;
 pub mod btor2;
 pub mod ir;
 pub mod mc;
-mod sim;
+pub mod sim;
diff --git a/src/sim/interpreter.rs b/src/sim/interpreter.rs
index 985f728..7903dee 100644
--- a/src/sim/interpreter.rs
+++ b/src/sim/interpreter.rs
@@ -2,8 +2,8 @@
 // released under BSD 3-Clause License
 // author: Kevin Laeufer <laeufer@berkeley.edu>
 
+use super::values::{ScalarValue, ValueStore};
 use crate::ir::*;
-use crate::sim::{ScalarValue, ValueStore};
 
 /// Specifies how to initialize states that do not have
 #[derive(Debug, PartialEq, Copy, Clone)]
diff --git a/src/sim/mod.rs b/src/sim/mod.rs
index c897a6d..f62045c 100644
--- a/src/sim/mod.rs
+++ b/src/sim/mod.rs
@@ -6,5 +6,3 @@ mod values;
 // released under BSD 3-Clause License
 // author: Kevin Laeufer <laeufer@berkeley.edu>
 pub mod interpreter;
-
-pub use values::{ArrayValue, ScalarValue, ScalarValueRef, Value, ValueRef, ValueStore};