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