On Sun, Jul 21, 2019 at 8:20 PM Robert Pluim wrote: > Pip> Can you try again with this incremental patch? > > I offer two alternatives, both of which build and run: Oops, sorry. I think the second alternative might break live_vector_holding, though? Attaching an updated patch.