diff --git a/config/cert_exp_33_realloc.c b/config/cert_exp_33_realloc.c
index c88be6f81c027723e63f3b35e181c346f6daaabe..c65425410dd06d65997fb581487a9c85e5c774c4 100644
--- a/config/cert_exp_33_realloc.c
+++ b/config/cert_exp_33_realloc.c
@@ -1,4 +1,3 @@
-
 #include <stdlib.h>
 #include <stdio.h>
 #include <string.h>
@@ -11,6 +10,7 @@ int *resize_array(int *array, size_t old_count, size_t new_count) {
   }
   
   int *ret = (int *)realloc(array, new_count * sizeof(int));
+  //@split ret==0;
   if (!ret) {
     free(array);
     return 0;
@@ -28,6 +28,7 @@ void func(void) {
   int *array = (int *)malloc(OLD_SIZE * sizeof(int));
   if (0 == array) {
     /* Handle error */
+    return;
   }
   
   for (size_t i = 0; i < OLD_SIZE; ++i) {
@@ -37,6 +38,7 @@ void func(void) {
   array = resize_array(array, OLD_SIZE, NEW_SIZE);
   if (0 == array) {
     /* Handle error */
+    return;
   }
   
   for (size_t i = 0; i < NEW_SIZE; ++i) {
diff --git a/config/main.c b/config/concat.c
similarity index 100%
rename from config/main.c
rename to config/concat.c
diff --git a/config/main2.c b/config/replace.c
similarity index 100%
rename from config/main2.c
rename to config/replace.c