pub type time_T = f64;