request release {
}

request client_button (sender) {
    button: u32,
    state: u32,
}

event destroyed {
    serial: u32,
}

event server_button (receiver) {
    button: u32,
    state: u32,
}
