<assertions>
  <assertion id="1" tag="ref:XSH6:46851:46852 pt:TMR">
   timer_delete() deletes timer, timerid.  [timerid is created by
   timer_create().]
  </assertion>
  <assertion id="2" tag="ref:XSH6:46852:46854 pt:TMR">
   If timerid is an armed timer when timer_delete() is called, it will
   appear as if the timer is automatically disarmed before removal.
   [It is unspecified what happens to any pending signals.]
  </assertion>
  <assertion id="3" tag="ref:XSH6:46856:46856 pt:TMR">
   timer_delete() returns 0 on success
  </assertion>
  <assertion id="4" tag="ref:XSH6:46856:46857 pt:TMR">
   timer_delete returns -1 on failure
  </assertion>
  <assertion id="5" tag="ref:XSH6TC2:46859:46860 pt:TMR">
   timer_delete() may set errno==EINVAL if timerid is not a valid timer ID
  </assertion>
</assertions>
