}
// given a headerless array of objects of known size,
-// copy it backwards into newly-allocated pool space
+// copy it into newly-allocated pool space
+pool_ptr pool_copy_array (const pool_object * objs, uint32_t len);
+// same as above, but backwards
pool_ptr pool_copy_array_rev (const pool_object * objs, uint32_t len);
heap_ptr heap_copy_array_rev (const object * objs, uint32_t len);