+
+ // If we are in replay - perform an ugly hack
+ // say to SimGrid that we are not in replay for a while, because we need
+ // the buffers to be copied for the following calls
+ int replaying = 0; //cache data to set it back again after
+ if(_xbt_replay_is_active()){
+ replaying = 1;
+ is_replay_active = 0 ;
+ }