request destroy (destructor) {
}

request get_timer {
    id: id(wp_commit_timer_v1) (new),
    surface: id(wl_surface),
}