H. S. Teoh: > It's only a bad idea because people abuse assert() where it's > not appropriate. It's a bad idea because Walter seems unable to understand the difference between verifying and proving. Bye, bearophile