RUM_UNLOCK
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
end: RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);
RUM_UNLOCK(sc);