Correction: the referenced patch (5240) does apply to x86, but was only a theoretical race there, and not actually experienced. I've now tested it and it does not fix my bug. -- Adam Olsen, aka Rhamphoryncus