}
void TRACE_msg_process_kill(smx_process_exit_status_t status, msg_process_t process)
{
if (TRACE_actor_is_enabled() && status == SMX_EXIT_FAILURE) {
//kill means that this process no longer exists, let's destroy it
}
void TRACE_msg_process_kill(smx_process_exit_status_t status, msg_process_t process)
{
if (TRACE_actor_is_enabled() && status == SMX_EXIT_FAILURE) {
//kill means that this process no longer exists, let's destroy it