request set_selection {
    source: id(ext_data_control_source_v1),
}

request destroy (destructor) {
}

event data_offer {
    id: id(ext_data_control_offer_v1) (new),
}

event selection {
    id: id(ext_data_control_offer_v1),
}

event finished {
}

event primary_selection {
    id: id(ext_data_control_offer_v1),
}

request set_primary_selection {
    source: id(ext_data_control_source_v1),
}
