diff --git a/include/amduat/pel/run.h b/include/amduat/pel/run.h
index 02415a2..61e120e 100644
--- a/include/amduat/pel/run.h
+++ b/include/amduat/pel/run.h
@@ -30,14 +30,6 @@ bool amduat_pel_surf_run_with_result(amduat_asl_store_t *store,
                                      amduat_reference_t params_ref,
                                      amduat_pel_run_result_t *out_run);
 
-bool amduat_pel_exec_program_bytes(amduat_octets_t program_bytes,
-                                   const amduat_artifact_t *inputs,
-                                   size_t inputs_len,
-                                   const amduat_artifact_t *params,
-                                   amduat_artifact_t **out_outputs,
-                                   size_t *out_outputs_len,
-                                   amduat_pel_execution_result_value_t *out_result);
-
 bool amduat_pel_exec_program_artifact(amduat_artifact_t program_artifact,
                                       const amduat_artifact_t *inputs,
                                       size_t inputs_len,
diff --git a/src/pel_stack/run.c b/src/pel_stack/run.c
index e574321..88851dc 100644
--- a/src/pel_stack/run.c
+++ b/src/pel_stack/run.c
@@ -48,13 +48,14 @@ bool amduat_pel_surf_run_with_result(amduat_asl_store_t *store,
   return true;
 }
 
-bool amduat_pel_exec_program_bytes(amduat_octets_t program_bytes,
-                                   const amduat_artifact_t *inputs,
-                                   size_t inputs_len,
-                                   const amduat_artifact_t *params,
-                                   amduat_artifact_t **out_outputs,
-                                   size_t *out_outputs_len,
-                                   amduat_pel_execution_result_value_t *out_result) {
+static bool amduat_pel_exec_program_bytes_unchecked(
+    amduat_octets_t program_bytes,
+    const amduat_artifact_t *inputs,
+    size_t inputs_len,
+    const amduat_artifact_t *params,
+    amduat_artifact_t **out_outputs,
+    size_t *out_outputs_len,
+    amduat_pel_execution_result_value_t *out_result) {
   amduat_pel_program_t program;
   amduat_pel_program_dag_decode_status_t decode_status;
   bool ok;
@@ -130,11 +131,11 @@ bool amduat_pel_exec_program_artifact(amduat_artifact_t program_artifact,
     return true;
   }
 
-  return amduat_pel_exec_program_bytes(program_artifact.bytes,
-                                       inputs,
-                                       inputs_len,
-                                       params,
-                                       out_outputs,
-                                       out_outputs_len,
-                                       out_result);
+  return amduat_pel_exec_program_bytes_unchecked(program_artifact.bytes,
+                                                 inputs,
+                                                 inputs_len,
+                                                 params,
+                                                 out_outputs,
+                                                 out_outputs_len,
+                                                 out_result);
 }
diff --git a/src/tools/amduat_pel_cli.c b/src/tools/amduat_pel_cli.c
index 7baf28d..a039993 100644
--- a/src/tools/amduat_pel_cli.c
+++ b/src/tools/amduat_pel_cli.c
@@ -806,14 +806,14 @@ static int amduat_pel_cli_cmd_exec(int argc,
     }
   }
 
-  if (!amduat_pel_exec_program_bytes(amduat_octets(program_bytes,
-                                                   program_len),
-                                     inputs,
-                                     input_paths_len,
-                                     NULL,
-                                     &outputs,
-                                     &outputs_len,
-                                     &result)) {
+  if (!amduat_pel_exec_program_artifact(
+          amduat_artifact(amduat_octets(program_bytes, program_len)),
+          inputs,
+          input_paths_len,
+          NULL,
+          &outputs,
+          &outputs_len,
+          &result)) {
     fprintf(stderr, "error: exec failed\n");
     free(program_bytes);
     program_bytes = NULL;