int sys_sem_destroy(int n_sem)
{
  if ((n_sem < 0 || n_sem > 9) || (!semph[n_sem].semok))
    return -EINVAL;
  if (!list_empty(&semph[n_sem].queue))
    return -EPERM;
  if (semph[n_sem].owner != current()->pid)
    return -EPERM;
  semph[n_sem].semok = 0;
  return 0;
}