pub const __timeval_defined: u32 = 1;