ADD_OK
#define TOOMANY(T, X, N, M) (!ADD_OK(T, X, (N) - 1) || HOWMANY(X, N) > (M))
__CTASSERT(ADD_OK(off_t, OFFTAB_MAX_FDPOS,
assert(ADD_OK(off_t, offtab->ot_fdpos, window_offset));
__CTASSERT(ADD_OK(off_t, OFFTAB_MAX_FDPOS,
assert(ADD_OK(off_t, offtab->ot_fdpos, offtab_bytes));
__CTASSERT(ADD_OK(off_t, OFFTAB_MAX_FDPOS,
assert(ADD_OK(off_t, offtab->ot_fdpos, offtab_bytes));
__CTASSERT(ADD_OK(uint64_t, OFFTAB_MAX_FDPOS,
__CTASSERT(ADD_OK(off_t, OFFTAB_MAX_FDPOS,
assert(ADD_OK(off_t, offtab->ot_fdpos, sync_bytes));
if (!ADD_OK(uint64_t, S->offset, 2*(uintmax_t)readsize) ||
!ADD_OK(off_t, S->offset, 2*(uintmax_t)readsize))
assert(ADD_OK(uint32_t, S->blkno, 1));
assert(ADD_OK(uint64_t, S->offset, complen));
assert(ADD_OK(off_t, (off_t)S->offset, (off_t)complen));
assert(ADD_OK(uint64_t, S->offset, n_padding));
assert(ADD_OK(off_t, (off_t)S->offset, (off_t)n_padding));
__CTASSERT(ADD_OK(uint64_t, CLOOP2_OFFSET_TABLE_OFFSET,
__CTASSERT(ADD_OK(uint32_t, MAX_N_BLOCKS, 1));
__CTASSERT(ADD_OK(uint64_t, sizeof(struct cloop2_header),
__CTASSERT(ADD_OK(off_t, sizeof(header),