#include "tst-cpuclock2.c"