request destroy {

}

event lease_fd {
    leased_fd: fd,
}

event finished {

}