LEAVE_SYNC
if (conditions != LEAVE_SYNC) {
case LEAVE_SYNC:
case LEAVE_SYNC:
leave(LEAVE_SYNC);
leave(LEAVE_SYNC);
leave(LEAVE_SYNC);
leave(LEAVE_SYNC);