uint64 formatted output: replaced %llx with PRIx64 macro.