#include "tst-ntp_gettimex.c"