pub const __TIMESIZE: c_uint = 64;