Constant CONFIG_NUM_PREEMPT_PRIORITIES 

pub const CONFIG_NUM_PREEMPT_PRIORITIES: isize = 15;