diff --git a/test_programs/execution_success/brillig_loop_size_regression/Nargo.toml b/test_programs/execution_success/brillig_loop_size_regression/Nargo.toml
new file mode 100644
index 00000000000..d2a98e19742
--- /dev/null
+++ b/test_programs/execution_success/brillig_loop_size_regression/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "brillig_loop_size_regression"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.33.0"
+
+[dependencies]
\ No newline at end of file
diff --git a/test_programs/execution_success/brillig_loop_size_regression/Prover.toml b/test_programs/execution_success/brillig_loop_size_regression/Prover.toml
new file mode 100644
index 00000000000..e69de29bb2d
diff --git a/test_programs/execution_success/brillig_loop_size_regression/src/main.nr b/test_programs/execution_success/brillig_loop_size_regression/src/main.nr
new file mode 100644
index 00000000000..488304114b9
--- /dev/null
+++ b/test_programs/execution_success/brillig_loop_size_regression/src/main.nr
@@ -0,0 +1,16 @@
+struct EnumEmulation {
+    a: Option<Field>,
+    b: Option<Field>,
+    c: Option<Field>,
+}
+
+unconstrained fn main() -> pub Field {
+    let mut emulated_enum = EnumEmulation { a: Option::some(1), b: Option::none(), c: Option::none() };
+
+    for _ in 0..1 {
+        assert_eq(emulated_enum.a.unwrap(), 1);
+    }
+
+    emulated_enum.a = Option::some(2);
+    emulated_enum.a.unwrap()
+}
diff --git a/test_programs/execution_success/keccak256/src/main.nr b/test_programs/execution_success/keccak256/src/main.nr
index 2126435182c..ff18cae0c9c 100644
--- a/test_programs/execution_success/keccak256/src/main.nr
+++ b/test_programs/execution_success/keccak256/src/main.nr
@@ -17,25 +17,5 @@ fn main(x: Field, result: [u8; 32]) {
     let hash_c = std::hash::keccak256([1, 2, 3, 4, 0, 0, 0, 0], message_size_big);
 
     assert(hash_a != hash_c);
-
-    // DO NOT MERGE: The code below is a pure duplication of what comes above. 
-    // This is purely for testing the Brillig opcode report and should not be merged into master.
-
-    // We use the `as` keyword here to denote the fact that we want to take just the first byte from the x Field
-    // The padding is taken care of by the program
-    let digest = std::hash::keccak256([x as u8], 1);
-    assert(digest == result);
-
-    //#1399: variable message size
-    let message_size = 4;
-    let hash_a = std::hash::keccak256([1, 2, 3, 4], message_size);
-    let hash_b = std::hash::keccak256([1, 2, 3, 4, 0, 0, 0, 0], message_size);
-
-    assert(hash_a == hash_b);
-
-    let message_size_big = 8;
-    let hash_c = std::hash::keccak256([1, 2, 3, 4, 0, 0, 0, 0], message_size_big);
-
-    assert(hash_a != hash_c);
 }
 // docs:end:keccak256