pub const THREAD_PRIORITY_HIGHEST: u32 = THREAD_BASE_PRIORITY_MAX; // 2u32