RTWS_EXP_SYNC
synctype[nsynctypes++] = RTWS_EXP_SYNC;
case RTWS_EXP_SYNC:
rcu_torture_writer_state = RTWS_EXP_SYNC;