pub type NSTimeInterval = c_double;