# requests

msg destroy = 0 {

}

msg set_known_cursor = 1 {
    idx: u32,
}