[mannykannot]

In this context, the difference between 63 bits and 64 bits is not trivial.

[yoklov]

Both are bigger than the x64 address space...