}
// given a headerless array of objects of known size,
// copy it backwards into newly-allocated pool space
pool_ptr pool_copy_array_rev (const pool_object * objs, uint32_t len);
}
// given a headerless array of objects of known size,
// copy it backwards into newly-allocated pool space
pool_ptr pool_copy_array_rev (const pool_object * objs, uint32_t len);