check_eofpage
check_eofpage("Read", offset, p, size);
check_eofpage("Write", offset, p, size);
static void check_eofpage(const char *s, unsigned offset, char *p, int size);