pub type int64_T = c_long;