pub const __TIMESIZE: c_int = 64;