diff --git a/src/goto-programs/add_malloc_may_fail_variable_initializations.cpp b/src/goto-programs/add_malloc_may_fail_variable_initializations.cpp
index c426a42bb76..772861bf6c1 100644
--- a/src/goto-programs/add_malloc_may_fail_variable_initializations.cpp
+++ b/src/goto-programs/add_malloc_may_fail_variable_initializations.cpp
@@ -5,6 +5,8 @@
 
 #include "goto_model.h"
 
+#include <linking/static_lifetime_init.h>
+
 #include <util/arith_tools.h>
 #include <util/config.h>
 #include <util/irep.h>
@@ -36,7 +38,7 @@ void add_malloc_may_fail_variable_initializations(goto_modelt &goto_model)
     "if malloc_may_fail is in the symbol table then so should "
     "malloc_failure_mode");
 
-  auto const initialize_function_name = CPROVER_PREFIX "initialize";
+  auto const initialize_function_name = INITIALIZE_FUNCTION;
   PRECONDITION(
     goto_model.get_goto_functions().function_map.count(
       initialize_function_name) == 1);
diff --git a/src/statement-list/statement_list_entry_point.cpp b/src/statement-list/statement_list_entry_point.cpp
index c309f2c18f5..0a02894856c 100644
--- a/src/statement-list/statement_list_entry_point.cpp
+++ b/src/statement-list/statement_list_entry_point.cpp
@@ -13,13 +13,11 @@ Author: Matthias Weiss, matthias.weiss@diffblue.com
 #include "statement_list_typecheck.h"
 
 #include <goto-programs/goto_functions.h>
+#include <linking/static_lifetime_init.h>
 #include <util/c_types.h>
 #include <util/config.h>
 #include <util/std_code.h>
 
-/// Name of the CPROVER-specific function that initializes static variables.
-#define INITIALIZE_FUNCTION CPROVER_PREFIX "initialize"
-
 /// Name of the CPROVER-specific variable that specifies the rounding mode.
 #define ROUNDING_MODE_NAME CPROVER_PREFIX "rounding_mode"