<assertions>
  <assertion id="1" tag="ref:XSH6:6593:6593">
   clock_gettime() returns the current value of timespec tp for the
   clock parameter clock_id
  </assertion>
  <assertion id="2" tag="ref:XSH6:6598:6601">
   If the clock parameter clock_id is CLOCK_REALTIME, the value returned by
   clock_gettime() is the seconds (or nanoseconds) since the Epoch.
  </assertion>
  <assertion id="3" tag="ref:XSH6:6617:6619 pt:MON">
   If the clock parameter clock_id is CLOCK_MONOTONIC, the value returned by
   clock_gettime() is the seconds (or nanoseconds) since an unspecified
   point, which cannot change after system startup, in the past.
  </assertion>
  <assertion id="4" tag="ref:XSH6:6637:6639 pt:CPT">
   If the clock parameter clock_id is CLOCK_PROCESS_CPUTIME_ID, the value
   returned by clock_gettime() is the amount of execution time of the
   process associated with the clock.
  </assertion>
  <assertion id="5" tag="ref:XSH6:6646:6648 pt:TCT">
   If the clock parameter clock_id is CLOCK_THREAD_CPUTIME_ID, the value
   returned by clock_gettime() is the amount of execution time of the
   thread associated with the clock.
  </assertion>
  <assertion id="6" tag="ref:XSH6:6652:6652">
   clock_gettime() returns 0 on success.
  </assertion>
  <assertion id="7" tag="ref:XSH6:6598:6601">
   clock_gettime() returns -1 on failure.
  </assertion>
  <assertion id="8" tag="ref:XSH6:6598:6601">
   clock_gettime() sets errno to EINVAL if the clock_id argument does not
   specify a known clock
  </assertion>
</assertions>
