Constant obs_sys::__TIMESIZE

pub const __TIMESIZE: u32 = 64;