#include "tst-cnd-timedwait.c"