should use "PRIu64"