bramley - 11:02 pm on Apr 3, 2011 (gmt 0)

Another possibility is a small error in the algo - say it doesn't escape correctly from circumstances where a depends on b that depends on c that depends on a. Something like that; there are many possibilities.