+ handle_simcall_execute((s_mc_message_simcall_handle_t*)message_buffer.data());
+ break;
+
+ case MessageType::SIMCALL_IS_VISIBLE: {
+ assert_msg_size("SIMCALL_IS_VISIBLE", s_mc_message_simcall_is_visible_t);
+ auto msg_simcall = (s_mc_message_simcall_is_visible_t*)message_buffer.data();
+ const kernel::actor::ActorImpl* actor = kernel::actor::ActorImpl::by_pid(msg_simcall->aid);
+ xbt_assert(actor != nullptr, "Invalid pid %d", msg_simcall->aid);
+ xbt_assert(actor->simcall_.observer_, "The transition of %s has no observer", actor->get_cname());
+ bool value = actor->simcall_.observer_->is_visible();
+
+ // Send result:
+ s_mc_message_simcall_is_visible_answer_t answer{MessageType::SIMCALL_IS_VISIBLE_ANSWER, value};
+ xbt_assert(channel_.send(answer) == 0, "Could not send response");
+ break;
+ }
+
+ case MessageType::SIMCALL_TO_STRING: {
+ assert_msg_size("SIMCALL_TO_STRING", s_mc_message_simcall_to_string_t);
+ auto msg_simcall = (s_mc_message_simcall_to_string_t*)message_buffer.data();
+ const kernel::actor::ActorImpl* actor = kernel::actor::ActorImpl::by_pid(msg_simcall->aid);
+ xbt_assert(actor != nullptr, "Invalid pid %d", msg_simcall->aid);
+ xbt_assert(actor->simcall_.observer_, "The transition of %s has no observer", actor->get_cname());
+ std::string value = actor->simcall_.observer_->to_string(msg_simcall->time_considered);
+
+ // Send result:
+ s_mc_message_simcall_to_string_answer_t answer{MessageType::SIMCALL_TO_STRING_ANSWER, {0}};
+ value.copy(answer.value, (sizeof answer.value) - 1); // last byte was set to '\0' by initialization above
+ xbt_assert(channel_.send(answer) == 0, "Could not send response");