void addMemoryRegionToSnapShot(void *ptr, unsigned int numPages);
snapshot_id takeSnapshot();
void rollBack(snapshot_id theSnapShot);
#if !USE_MPROTECT_SNAPSHOT
void addMemoryRegionToSnapShot(void *ptr, unsigned int numPages);
snapshot_id takeSnapshot();
void rollBack(snapshot_id theSnapShot);
#if !USE_MPROTECT_SNAPSHOT