clock_gettime.c revision 9997e28e
1