diff --git a/tests/benchmark/combinations/runtime/combinations.c b/tests/benchmark/combinations/runtime/combinations.c
index af664f7550..4b33a2da49 100644
--- a/tests/benchmark/combinations/runtime/combinations.c
+++ b/tests/benchmark/combinations/runtime/combinations.c
@@ -12,7 +12,7 @@ static constr_info_t juvix_constr_info_array[CONSTRS_NUM] = {BUILTIN_UIDS_INFO};
 
 int main() {
     JUVIX_DECL_ARGS;
-    JUVIX_PROLOGUE(2);
+    JUVIX_PROLOGUE(3);
 
     juvix_constrs_num = CONSTRS_NUM;
     juvix_constr_info = juvix_constr_info_array;
diff --git a/tests/benchmark/maybe/runtime/maybe.c b/tests/benchmark/maybe/runtime/maybe.c
index c822155781..7b3d88d638 100644
--- a/tests/benchmark/maybe/runtime/maybe.c
+++ b/tests/benchmark/maybe/runtime/maybe.c
@@ -25,7 +25,7 @@ static constr_info_t juvix_constr_info_array[CONSTRS_NUM] = {
 
 int main() {
     JUVIX_DECL_ARGS;
-    JUVIX_PROLOGUE(2);
+    JUVIX_PROLOGUE(3);
 
     juvix_constrs_num = CONSTRS_NUM;
     juvix_constr_info = juvix_constr_info_array;