request set_barrier {

}

request wait_barrier {

}

request destroy {

}