static Res ResPoolInit(Pool pool, va_list arg)
{
  AVER(pool != NULL);

  UNUSED(arg);
  /* Caller will set sig and AVERT. */
  EVENT_PPP(PoolInit, pool, PoolArena(pool), ClassOfPool(pool));
  return ResOK;
}
static Res NInit(Pool pool, va_list args)
{
    PoolN poolN = PoolPoolN(pool);

    UNUSED(args);

    /* Initialize pool-specific structures. */

    AVERT(PoolN, poolN);
    EVENT_PPP(PoolInit, pool, PoolArena(pool), ClassOfPool(pool));
    return ResOK;
}