> Now, however, what's happening is that the assert still fails, since > result4, while being different from that of the unpatched case (in the > unpatched case, even n == 17), is still not correct: I can verify this. I'm looking at this too, but don't have anything yet. -benjamin