extern mspace create_mspace(size_t capacity, int locked);
#if USE_MPROTECT_SNAPSHOT
-/** @brief mspace for the snapshotting heap */
-extern mspace snapshot_space;
+extern mspace user_snapshot_space;
#endif
+extern mspace model_snapshot_space;
+
#ifdef __cplusplus
}; /* end of extern "C" */
#endif