rem: int rc, rc2;
add: status_t rc; int rc2;
context: int user_get_sem_count(sem_id uid, int32* uthread_count){	int32 thread_count;	int rc, rc2;	rc  = get_sem_count(uid, &thread_count);	rc2 = user_memcpy(uthread_count, &thread_count, sizeof(int32));	if (rc2 < 0)		return rc2;	return rc;}