examples: use PRIu64 instead %lld when printing uint64_t values