if (guard_size > 0 && not MC_is_active()) {
stack_ = stack_ - guard_size;
if (mprotect(stack_, guard_size, PROT_READ | PROT_WRITE) == -1) {
XBT_WARN("Failed to remove page protection: %s", strerror(errno));
/* try to pursue anyway */
}
if (guard_size > 0 && not MC_is_active()) {
stack_ = stack_ - guard_size;
if (mprotect(stack_, guard_size, PROT_READ | PROT_WRITE) == -1) {
XBT_WARN("Failed to remove page protection: %s", strerror(errno));
/* try to pursue anyway */
}