VBLOCK_BYTES_MIN 3082 src/alloc.c           (VECTOR_BLOCK_BYTES - VBLOCK_BYTES_MIN) / roundup_size + 1 };
VBLOCK_BYTES_MIN 3100 src/alloc.c      eassume (VBLOCK_BYTES_MIN <= nbytes);
VBLOCK_BYTES_MIN 3101 src/alloc.c      return (nbytes - VBLOCK_BYTES_MIN) / roundup_size;
VBLOCK_BYTES_MIN 3220 src/alloc.c      eassume (VBLOCK_BYTES_MIN <= nbytes && nbytes <= VBLOCK_BYTES_MAX);
VBLOCK_BYTES_MIN 3237 src/alloc.c      for (index = VINDEX (nbytes + VBLOCK_BYTES_MIN);
VBLOCK_BYTES_MIN 3248 src/alloc.c    	restbytes = index * roundup_size + VBLOCK_BYTES_MIN - nbytes;
VBLOCK_BYTES_MIN 3268 src/alloc.c      if (restbytes >= VBLOCK_BYTES_MIN)
VBLOCK_BYTES_MIN 3280 src/alloc.c       + VECTOR_BLOCK_BYTES - VBLOCK_BYTES_MIN)