clock_gettime.c revision 0e5022ee
1