rest_max         3411 src/alloc.c      verify (size_max + rest_max <= VECTOR_ELTS_MAX);
rest_max         3415 src/alloc.c      eassert (memlen <= size_max + rest_max);