why int64 here?