pub const HAVE_CLOCK_GETTIME: u32 = 1;