If we're going to have this argument, are we allowed to read/write to external storage? That would seem to me to circumvent the bounds of pointer address space.<p>The interface to the external storage only needs bidirectional sequential access rather than random access, so we don't even have to worry about the disk addresses becoming too large for the addressable internal memory.