> On Jun 16, 2020, at 5:26 PM, Alex Williamson <alex.williamson@xxxxxxxxxx> wrote: > > The next use of the device will generate an underflow from the > stale reference. Thanks Alex for taking care of this. I suppose my tests were too basic and never able to catch this underflow in the first place.