pub const __NR_times: u32 = 100; // 100u32