rem: user_delete_sem_etc(sem_id id, status_t return_code)
add: user_delete_sem_etc(sem_id id, status_t return_code, bool interrupted)
context: user_delete_sem_etc(sem_id id, status_t return_code){	return delete_sem_etc(id, return_code);}