pub const HAVE_CLOCK_GETRES: u32 = 1;