diff --git a/kernel/examples/error.rs b/kernel/examples/error.rs
index afef542..4d0f7d4 100644
--- a/kernel/examples/error.rs
+++ b/kernel/examples/error.rs
@@ -18,6 +18,7 @@ main!({
 
     error_set(n);
     assert(error_get() == n);
+    alloc(m);
     error_set(0);
     assert(error_get() == 0);
 });
diff --git a/kernel/examples/reuse.rs b/kernel/examples/reuse.rs
index f4ed0b3..89f873d 100644
--- a/kernel/examples/reuse.rs
+++ b/kernel/examples/reuse.rs
@@ -7,9 +7,12 @@ main!({
     let x = u64();
     assume(x > 0);
 
+    let y = u64();
+    assume(y > 0);
+
     let mut tmp = 0;
 
-    for _ in 0..10 {
+    for _ in 0..y {
         let m = alloc(x);
         if tmp == 0 {
             tmp = m;