/********************************* Global *************************************/
XBT_ATTRIB_NORETURN XBT_PUBLIC void MC_run();
/********************************* Global *************************************/
XBT_ATTRIB_NORETURN XBT_PUBLIC void MC_run();
/********************************* Memory *************************************/
XBT_PUBLIC void MC_memory_init(); /* Initialize the memory subsystem */
/********************************* Memory *************************************/
XBT_PUBLIC void MC_memory_init(); /* Initialize the memory subsystem */