static void *
makespace_ (void *c, int nextfree, int *arraysize, int objsize)
{
  *arraysize = objsize * nextfree;
  return NULL;
}