RESTARTER_EVENT_TYPE_ADD_INSTANCE
case RESTARTER_EVENT_TYPE_ADD_INSTANCE:
vertex_send_event(v, RESTARTER_EVENT_TYPE_ADD_INSTANCE);
vertex_send_event(v, RESTARTER_EVENT_TYPE_ADD_INSTANCE);
case RESTARTER_EVENT_TYPE_ADD_INSTANCE:
if (event != RESTARTER_EVENT_TYPE_ADD_INSTANCE) {
case RESTARTER_EVENT_TYPE_ADD_INSTANCE:
case RESTARTER_EVENT_TYPE_ADD_INSTANCE: