if (curr_thread->start_routine != NULL) {
curr_thread->start_routine(curr_thread->arg);
} else if (curr_thread->pstart_routine != NULL) {
if (curr_thread->start_routine != NULL) {
curr_thread->start_routine(curr_thread->arg);
} else if (curr_thread->pstart_routine != NULL) {
}
/* Finish thread properly */
model->switch_to_master(new ModelAction(THREAD_FINISH, std::memory_order_seq_cst, curr_thread));
}
/* Finish thread properly */
model->switch_to_master(new ModelAction(THREAD_FINISH, std::memory_order_seq_cst, curr_thread));