#define _FILE_OFFSET_BITS 64
#include "tst-chk1.c"