Constant CONFIG_TIMESLICE_SIZE

pub const CONFIG_TIMESLICE_SIZE: isize = 20;