On: The bell has tolled for rand()

[brudgers]

That's part of exactly what makes the problems with rand() so intractable. Whether a program performs as specified is an arbitrary function of real world state.