#include "config.h"
#include "mymemory.h"
-void addMemoryRegionToSnapShot(void *ptr, unsigned int numPages);
-snapshot_id takeSnapshot();
-void rollBack(snapshot_id theSnapShot);
+void snapshot_add_memory_region(void *ptr, unsigned int numPages);
+snapshot_id take_snapshot();
+void snapshot_roll_back(snapshot_id theSnapShot);
#if !USE_MPROTECT_SNAPSHOT
mspace create_shared_mspace();