> I did not investigate the cause. How could we have a reentrant use case here?

I'll need to ask Vladmir :-) I'm not familiar with this code, sorry. I was just reading your comments out of curiosity.

@wburns +1 exactly