1 /* src/client/array_append.h
3 * Small memory management helper.
9 #include <stddef.h> /* size_t */
10 #include <stdint.h> /* uint32_t */
14 /* Append to array pointed to by "ptr_old_array" of "old_n" elements of
15 * "region_size" "new region".
17 extern void array_append(uint32_t old_n, size_t region_size, void * new_region,
18 void ** ptr_old_array);