> It takes a lot more for a program to be correct than having valid bit patterns.

Obviously. I never said otherwise. What's your point?