Constant THREAD_PRIORITY_HIGHEST 

pub const THREAD_PRIORITY_HIGHEST: THREAD_PRIORITY;