VBLOCK_BYTES_MIN 2909 src/alloc.c           (VECTOR_BLOCK_BYTES - VBLOCK_BYTES_MIN) / roundup_size + 1 };
VBLOCK_BYTES_MIN 2927 src/alloc.c      eassume (VBLOCK_BYTES_MIN <= nbytes);
VBLOCK_BYTES_MIN 2928 src/alloc.c      return (nbytes - VBLOCK_BYTES_MIN) / roundup_size;
VBLOCK_BYTES_MIN 3033 src/alloc.c      eassume (VBLOCK_BYTES_MIN <= nbytes && nbytes <= VBLOCK_BYTES_MAX);
VBLOCK_BYTES_MIN 3049 src/alloc.c      for (index = VINDEX (nbytes + VBLOCK_BYTES_MIN);
VBLOCK_BYTES_MIN 3059 src/alloc.c    	restbytes = index * roundup_size + VBLOCK_BYTES_MIN - nbytes;
VBLOCK_BYTES_MIN 3074 src/alloc.c      if (restbytes >= VBLOCK_BYTES_MIN)
VBLOCK_BYTES_MIN 3086 src/alloc.c       + VECTOR_BLOCK_BYTES - VBLOCK_BYTES_MIN)