VBLOCK_BYTES_MAX 3220 src/alloc.c      eassume (VBLOCK_BYTES_MIN <= nbytes && nbytes <= VBLOCK_BYTES_MAX);
VBLOCK_BYTES_MAX 3317 src/alloc.c    		<= VBLOCK_BYTES_MAX), \
VBLOCK_BYTES_MAX 3542 src/alloc.c      if (nbytes <= VBLOCK_BYTES_MAX)