NotNull pointers

[dsimcha]

Oh, one more thing:  What about this:

NotNull!(int*) notNull = void;