pub type __kernel_old_time_t = __kernel_long_t;