https://5dok.org/document/yd7eekee-resizable-arrays-in-optimal-time-and-space.html