diff --git a/src/checkpoint.cpp b/src/checkpoint.cpp
index db0abd5..eb8a38a 100644
--- a/src/checkpoint.cpp
+++ b/src/checkpoint.cpp
@@ -16,8 +16,8 @@
 WAMRInstance *wamr = nullptr;
 std::ostringstream re{};
 auto writer = FwriteStream("test.bin");
-constinit std::vector<std::unique_ptr<WAMRExecEnv>> as;
-constinit std::mutex as_mtx;
+std::vector<std::unique_ptr<WAMRExecEnv>> as;
+std::mutex as_mtx;
 /**fopen, fseek*/
 void insert_fd(int fd, const char *path, int flags, int offset) {
     if (fd > 2) {