pub type __int64 = i64;