request set_barrier {
}

request wait_barrier {
}

request destroy (destructor) {
}
