Unit test to test printing of 64 bit addresses.

I propose to test-drive our change.