fields-timespec

   1                         (* Ubuntu 17.10 /usr/include/i386-linux-gnu/bits/types/struct_timespec.h: *)
   2                                 tv_sec*: time_t;
   3                                 tv_nsec*: INTEGER;