pub const SYS_gettimeofday: c_long = 4000 + 78; // 4_078i32