AE_UNLOCK
AE_UNLOCK(sc);
AE_UNLOCK(sc);
AE_UNLOCK(sc);
AE_UNLOCK(sc);
AE_UNLOCK(sc); /* XXX: could happen? */
AE_UNLOCK(sc);
AE_UNLOCK(sc);
AE_UNLOCK(sc);
AE_UNLOCK(sc);
AE_UNLOCK(sc);
AE_UNLOCK(sc);
AE_UNLOCK(sc);
AE_UNLOCK(sc);
AE_UNLOCK(sc);
AE_UNLOCK(sc);
AE_UNLOCK(sc);
AE_UNLOCK(sc);
AE_UNLOCK(sc);