A C library offering generic, contiguous dynamic arrays with O(1) amortized push