Use "%" PRIu64 instead of "%lu" for printf with uint64 values