CAPARSIZE_MAX
assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);
assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);
assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);
assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);
CAPARSIZE(rights) > CAPARSIZE_MAX) {
assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);
assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);
assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);