request set_serial {
    serial: u64_rev,
}

request destroy (destructor) {
}