It's no big deal. I first thought maybe this could be done by minimising copying, copying the `m` elements, shifting the betweens left `nz_m` slots, and filling in the end. But asymptotically it's all the same and concatenate is straightforward. So I often think something much more complicated than the final version.