request destroy (destructor) {
}

event idled {
}

event resumed {
}