- if (process != nullptr && get_maestro() == nullptr)
- set_maestro(this);
- if (MC_is_active()) {
- XBT_ATTRIB_UNUSED RawContext* maestro = static_cast<RawContext*>(get_maestro());
- MC_ignore_heap(&maestro->stack_top_, sizeof(maestro->stack_top_));
- }