Constant nginx::__NR_times

pub const __NR_times: u32 = 100;