void *model_malloc(size_t size);
void *model_calloc(size_t count, size_t size);
void model_free(void *ptr);
+void * model_realloc(void *ptr, size_t size);
void * snapshot_malloc(size_t size);
void * snapshot_calloc(size_t count, size_t size);
extern mspace create_mspace_with_base(void* base, size_t capacity, int locked);
extern mspace create_mspace(size_t capacity, int locked);
-#if USE_MPROTECT_SNAPSHOT
-extern mspace user_snapshot_space;
-#endif
-
extern mspace model_snapshot_space;
#ifdef __cplusplus