Use lib/DynamicArray.h