XBT_PUBLIC(void) MC_memory_exit(void);
/********************************* Snapshot comparison test *************************************/
XBT_PUBLIC(void) MC_memory_exit(void);
/********************************* Snapshot comparison test *************************************/