pub const SYS_clock_gettime: c_long = 4000 + 263; // 4_263i32