{
int ret = 0;
while (t->state != THREAD_COMPLETED && !ret)
/* seq_cst is just a 'don't care' parameter */
ret = thread_switch_to_master(new ModelAction(THREAD_JOIN, memory_order_seq_cst, NULL, VALUE_NONE));
{
int ret = 0;
while (t->state != THREAD_COMPLETED && !ret)
/* seq_cst is just a 'don't care' parameter */
ret = thread_switch_to_master(new ModelAction(THREAD_JOIN, memory_order_seq_cst, NULL, VALUE_NONE));