Safer D first draft

[Walter Bright]

`a.ptr` is an array overflow issue, not a pointer validation issue, as one can 
have an array of 0 length.