> a null reference cannot exist in a well-defined program
I stand corrected.
I had always considered the "dereference" that occurs during the initialization of a reference
variable as syntax, rather than an actual memory operation, and thus the value of the pointer is
irrelevant at that point. Clearly the standard says otherwise.