documentation: adjustable-vector