<assertions>
  <assertion id="1" tag="ref:XSH6:46888:46889 pt:TMR">
   timer_gettime() places in itimerspec the amount of time until timer,
   timerid, expires (in itimerspec.it_value) and the reload value of
   the timer (in itimerspec.it_interval).
  </assertion>
  <assertion id="2" tag="ref:XSH6:46890:46891 pt:TMR">
   itimerspec.it_value contains 0 if the timer was disarmed.
  </assertion>
  <assertion id="3" tag="ref:XSH6:46891:46892 pt:TMR">
   itimerspec.it_value returns a relative time amount, even if the timer
   was absolute.
  </assertion>
  <assertion id="4" tag="ref:XSH6:46935:46935 pt:TMR">
   timer_gettime() returns 0 on success
  </assertion>
  <assertion id="5" tag="ref:XSH6:46936:46936 pt:TMR">
   timer_gettime() returns -1 on failure
  </assertion>
  <assertion id="6" tag="ref:XSH6TC2:46940:46941 pt:TMR">
   If timer ID does not correspond to a valid timer ID (i.e., one created
   using timer_create() but not yet deleted with timer_delete()),
   timer_gettime() may return errno==EINVAL.
  </assertion>
</assertions>
