A Philosophy of Software Design

[Walter Bright]

Relying on DFA to catch null and nan values will only catch a very small number 
of cases. It is nice to catch them, but it is not a sufficient substitute for 
robust dealing with errors.

BTW, dmd's optimizer will catch:

```d
int* p = null;
*p = 3;
```