#include "tst-chk1.c"