# requests

request destroy {

}

request set_known_cursor {
    idx: u32,
}