I did not investigate the cause. How could we have a reentrant use case here?