pub const SYS_clock_getres: i32 = 266;