pub const __timeval_defined: c_int = 1;