typedef int64