Constant CONFIG_TIMESLICE_SIZE 

pub const CONFIG_TIMESLICE_SIZE: isize = 20;