#include "tst-ntp_gettime.c"