event lease_fd {
    leased_fd: fd,
}

event finished {
}

request destroy (destructor) {
}