pub type __int64_t = c_longlong;