AFS_INT64_FMT takes a afs_int64, not int64_t