编写无错误程序的方式有两种:只有第三个有效。
This is the way the world ends, not with a bang but a whimper.
Programmers are not to be measured by their ingenuity and their logic but by the completeness of their case analysis.