simgrid::instr::Type* type = process_container->type_->getChild("MSG_PROCESS_STATE");
simgrid::instr::Value* val = simgrid::instr::Value::byName("task_execute", type);
new simgrid::instr::PushStateEvent(MSG_get_clock(), process_container, type, val);
simgrid::instr::Type* type = process_container->type_->getChild("MSG_PROCESS_STATE");
simgrid::instr::Value* val = simgrid::instr::Value::byName("task_execute", type);
new simgrid::instr::PushStateEvent(MSG_get_clock(), process_container, type, val);