Ok I was able to find 5.9.12-1-default for the guest, 10K iterations of the test all give: 10000 $3 = 0x9f80 So if you have a reproducer I'm all ears... Thx.