don't use inttypes.h - use inline function for bswap_64()