cargo_klee_examples/examples/cyccnt.rs, Answer to review -> Added answers to F

cargo_klee_examples/examples/array.rs

@@ -106,8 +106,18 @@ I changed the type of the return variable to an u16, which will fit the added va
 // Explain in your own words what Microsoft would gain by using Rust.
 //
 // [your answer here]
+/*
+Well, for one they would loose many of the memoryleaks that exists. 
+Rust decides when to unallocate memory at compile time.
+
+This would also help with the general memory usage of applications (not just the ones that has memory leaks)
+*/
 //
 // Explain in your own words what Microsoft would gain by using `cargo klee`
 // on their Rust code.
 //
 // And YES, Microsoft is rewriting core system functionality in Rust as we speak!
+/*
+Having your core systems tested with a tool like klee would make it possible for you to confidently say that this 
+part of the system is bug free, at least form bugs like index out of bounds and overflow.
+*/