-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 a newly-allocated vector body
-heap_ptr heap_copy_array_rev (const object * objs, uint32_t len);
+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);