Again, it was that "Bizarre bug..." reported by Sacha Wildner on 4/26/2004 the addition of the two timer_restore() calls in vm86.c solved the problem