switch(fork()){
case 0:
// We are the child process -- run the actual program
- abort();
+ xbt_abort();
break;
case -1:
MC_UNSET_RAW_MEM;
+ /* Get .plt section (start and end addresses) for data libsimgrid comparison */
+ get_plt_section();
+
unsigned int cursor = 0;
xbt_state_t state;