Success, in a way

This program correctly computes the sum.

Bug issue: couldn't figure out how to make printf display a long long.
Workaround was to display the least significant 32 bits in hex and then
bits 17-48 in hex.