pub const SYS_adjtimex: c_long = 4000 + 124; // 4_124i32