diff --git a/cargo_klee_examples/examples/get_sign.rs b/cargo_klee_examples/examples/get_sign.rs
index 3909b2465e74a513805a558c4e79dc4861d7c730..a0f1007797b379eccc420ded2cebe9984c2b2d44 100644
--- a/cargo_klee_examples/examples/get_sign.rs
+++ b/cargo_klee_examples/examples/get_sign.rs
@@ -91,7 +91,11 @@ fn main() {
 // Try to follow the `klee-analysis` feature.
 // What modules in `klee-sys` does this feature enable?
 //
-// [your answer here]
+// [
+//  mod lib_klee_analysis;
+//  pub mod ll; // low level bindings
+//  pub use lib_klee_analysis::*; // re-export functions and macros
+// ]
 //
 // Have a look at the source code of `cargo klee`.
 // (The actual sub-command is in the folder `cargo-klee`.)
@@ -99,7 +103,7 @@ fn main() {
 // Try to figure out how the correct `.ll` file is determined.
 // Which one will it pick, and why?
 //
-// [your answer here]
+// [It will pick up the latest modified .ll file.]
 //
 // Actually this is one of the "bad seeds" in the internal design.
 // Seems there is no "stable" way of controlling/retrieving the "metadata"