Constant K_HIGHEST_THREAD_PRIO 

pub const K_HIGHEST_THREAD_PRIO: i32 = -16;