MAX_N_BLOCKS
#define MAX_N_OFFSETS (MAX_N_BLOCKS + 1)
__CTASSERT(MUL_OK(uint64_t, MAX_N_BLOCKS, MAX_BLOCKSIZE));
__CTASSERT(MUL_OK(uint64_t, MAX_N_BLOCKS, sizeof(uint64_t)));
MAX_N_BLOCKS*sizeof(uint64_t)));
assert(S->n_checkpointed_blocks <= MAX_N_BLOCKS);
__CTASSERT(MUL_OK(uint64_t, MAX_N_BLOCKS, MAX_BLOCKSIZE));
assert(S->blkno <= MAX_N_BLOCKS);
__CTASSERT(MUL_OK(uint64_t, MAX_N_BLOCKS, MAX_BLOCKSIZE));
(off_t)MAX_N_BLOCKS))
__CTASSERT(MAX_N_BLOCKS <= UINT32_MAX);
assert(S->n_blocks <= MAX_N_BLOCKS);
__CTASSERT(ADD_OK(uint32_t, MAX_N_BLOCKS, 1));
__CTASSERT(MAX_N_OFFSETS == (MAX_N_BLOCKS + 1));
__CTASSERT(MAX_N_BLOCKS <= UINT32_MAX);
if (MAX_N_BLOCKS < n_blocks)
n_blocks, (uint32_t)MAX_N_BLOCKS);
__CTASSERT(MAX_N_BLOCKS <= (UINT32_MAX - 1));
__CTASSERT((MAX_N_BLOCKS + 1) == MAX_N_OFFSETS);