#include "tst-clock_gettime.c"