# requests

request stop {
}

request destroy {
}

# events

event toplevel {
    toplevel: id(ext_foreign_toplevel_handle_v1),
}

event finished {
}