pub const SYS_timer_settime: c_long = 4000 + 258; // 4_258i32