Unit test to test printing of 64 bit addresses.

I propose to test our change.