pub const SYS_timer_gettime: c_long = 4000 + 259; // 4_259i32