PR_ASSERT(release_sem(sem->sem) == B_NO_ERROR);
result = release_sem(sem->sem); PR_ASSERT(result == B_NO_ERROR);
    PR_PostSem (PRSemaphore *sem){	PR_ASSERT(sem != NULL);	PR_ASSERT(release_sem(sem->sem) == B_NO_ERROR);}